Divers

Responsabilités administratives

Michel Mauny est correspondant scientifique du Comité des Bourses de l'INRIA-Rocquencourt.

Directions de stages, thèses

Michel Mauny encadre les thèses d'Émilie Sayag et de Christian Rinderknecht (en collaboration avec Bernard Lorho).

Didier Rémy encadre les thèses de François Pottier et Jérôme Vouillon.

François Rouaix a encadré la thèse de Patrick Parot ainsi que le stage de François Pessaux portant sur l'adaptation de l'interface Tcl/Tk pour Caml à la version 4.0 de Tk.

Xavier Leroy a encadré le stage de maîtrise de David Nowak.

Séminaire Coq-Cristal-Para

Le séminaire Coq-Cristal-Para, organisé par Didier Rémy, a accueilli cette année une trentaine d'orateurs internationaux.