Interaction with the scientific community
Collective responsibilities within INRIA
In september 2007, François Pottier was appointed a member of INRIA's COST ( Conseil d'Orientation Scientifique et Technologique ).
François Pottier is a member of the organizing committee for Le modèle et l'algorithme , a seminar series at INRIA Paris-Rocquencourt intended for a general scientific audience. François Pottier also organizes Gallium's local seminar.
Didier Rémy was vice-chairman of the hiring committee for the INRIA Paris-Rocquencourt CR2 competition.
Didier Rémy is a member of the committee for Délégations et Détachements .
Collective responsibilities outside INRIA
Sandrine Blazy is a member of the Board ( conseil d'administration ) of ENSIIE.
Xavier Leroy was a member of the scientific committee of the SeSUR 2007 ( Sécurité et sûreté informatique ) ANR programme.
Xavier Leroy is co-editor in chief of the Journal of Functional Programming. He is a member of the editorial boards of the Journal of Automated Reasoning and the Journal of Formalized Reasoning.
François Pottier is an associate editor for the ACM Transactions on Programming Languages and Systems.
Didier Rémy is a member of the editorial board of the Journal of Functional Programming.
Program committees and steering committees
Sandrine Blazy chaired the program committee for the Journées Francophones des Langages Applicatifs (JFLA 2008).
Xavier Leroy is a member of the steering committee of the ACM Workshop on ML and the ACM Workshop Commercial Users of Functional Programming.
François Pottier served on the program committee for the PLPV 2007 workshop. He is a member of the steering committees for the ICFP conference and for the ML workshop.
Andrew Tolmach served on the program committee for the ICFP 2007 conference.
PhD and habilitation juries
Xavier Leroy was external examiner ( rapporteur ) for the Ph.D. thesis of Yann Hodique (university of Lille, april 2007).
François Pottier was a member of the jury (as advisor) for the Ph.D. defense of Yann Régis-Gianas (university Paris 7, november 2007).
Xavier Leroy and Didier Rémy are members of IFIP Working Group 2.8 (Functional Programming).
Honors and distinctions
Xavier Leroy was awarded the Michel Monpetit prize of the French Academy of Sciences.