Précédent : Projet Esprit CONFER Remonter : Actions
nationales et internationales Suivant : Diffusion des
résultats
- Séminaire Coq-Cristal-Para
- Notre groupe a un séminaire commun avec les projets COQ et
CRISTAL de Rocquencourt.
- Séminaire d'informatique de l'X
- J.-J. Lévy participe à l'organisation du séminaire
mensuel d'informatique de l'École Polytechnique qui a reçu en
1996 M&Mme. Haton, Sillion, Abadi, Hullot, Kenyon.
- Comité TSI
- T. Hardin est depuis janvier 1994 membre du comité de
rédaction de TSI, et a été responsable d'un numéro spécial sur
la programmation fonctionnelle.
- Administration INRIA
- J.-J. Lévy est président du comité des projets de
Rocquencourt, membre de la commission d'évaluation, membre du
jury de recrutement de l'UR de Rocquencourt, 20-21 mai et 12
juin. Il quitte cette fonction au 31 décembre 96.