Interaction with the scientific community
Collective responsibilities within INRIA
François Pottier is 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 the Gallium-Moscova local seminar.
Didier Rémy was vice-chairman of the hiring committee for the INRIA Paris-Rocquencourt CR2 competition.
Collective responsibilities outside INRIA
Sandrine Blazy is a member of the Board ( conseil d'administration ) of ENSIIE.
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). She served on the program committee for the AFADL 2009 conference (Approches Formelles dans l'Assistance au Développement de Logiciels).
Xavier Leroy served on the program committee of the European Symposium on Programming (ESOP) 2009. He is a member of the steering committee of the ML workshop and the Commercial Users of Functional Programming workshop.
François Pottier is a member of the steering committees for the ICFP conference and for the ML workshop.
Didier Rémy participated in the program committees of the ML workshop (ML 2008) held in September in Victoria, Canada in conjunction with the ICFP conference, and of the Types in Language Design and Implementation workshop (TLDI 2009) to be held in Savannah, USA September in Victoria, USA in conjunction with the POPL conference.
Ph.D. and habilitation juries
Damien Doligez was a member of the Ph.D. defense committee for Jean-Frédéric Étienne (CNAM, july 2008).
Xavier Leroy was a reviewer ( rapporteur ) for the Ph.D. theses of Guillaume Salagnac (University of Grenoble, april 2008) and Thierry Hubert (University Paris Sud, june 2008). He was a member of the jury for the Habilitation of Sandrine Blazy (University of Évry, october 2008) and for the Ph.D. of Tiphaine Turpin (University of Rennes, december 2008).
François Pottier was a reviewer for the Ph.D. theses of Gwenaël Delaval (INP Grenoble, july 2008) and Matthieu Sozeau (University Paris Sud, december 2008). He was a member of the jury for the Ph.D. defense of Sylvain Lebresne (University Paris 7, december 2008).
Didier Rémy was a member of the Ph.D. defense committee of Boris Yakobowski (University Paris 7, december 2008).
Xavier Leroy and Didier Rémy are members of IFIP Working Group 2.8 (Functional Programming).