Visitor - Research Scientist Nicolas Peltier

[Jørgen Villadsen]

Nicolas Peltier (Grenoble Informatics Laboratory) visits me 6-8/9 and we will have a Proof Assistants and Related Tools workshop Thursday 7/9.

 

http://www.liglab.fr/en/useful/directory?%20prenom=Nicolas&nom=PELTIER

 

Grenoble Informatics Laboratory (LIG) is one of the largest laboratories in Computer Science in France. It is structured as a Joint Research Center (French Unité Mixte de Recherche - UMR) founded by the following institutions:

 

CNRS,

Grenoble Institute of Technology (Grenoble INP),

Inria Grenoble Rhône-Alpes,

Grenoble Alps University.

 

Jørgen