next up previous contents
Next: Diffusion de la connaissance Up: Eléments d'appréciation de l'activité Previous: Missionsconférences et séminaires

Accueil de chercheurs

Groupe de Recherche en Complexité et Cryptographie

Professeurs et directeurs de recherche invités

Post-doc invités

Lambda-calcul typé et langages fonctionnels

Les visiteurs suivants ont été reçus (voir aussi liste des postdocs dans Composition de l'unité) :

Séjours supérieurs à trois mois

Séjours d'un mois

Sémantique et Interprétation Abstraite

Professeurs et directeurs de recherche invités

Christopher Colby, Carnegie Mellon University, Pittsburg, USA, chercheur invité sur le projet Atlantique, mai/août 1995 ;
Peter Lee, Carnegie Mellon University, Pittsburg, USA, un mois, comme professeur invité de l'École Normale Supérieure en mai/juin 1995 ;
Leslie Lamport, DEC-SRC, Palo Alto, USA, un mois, comme professeur invité de l'École Normale Supérieure en septembre 1995 ;
Pierpaolo Degano, Dipartimento di Informatica, Università di Pisa, un mois, comme professeur invité de l'École Normale Supérieure en janvier 1997.

Langages Logiques, Contraintes et Optimisation

Spécifications algébriques et Programmation logique


next up previous contents
Next: Diffusion de la connaissance Up: Eléments d'appréciation de l'activité Previous: Missionsconférences et séminaires

Louis.Granboulan@ens.fr