Interaction with the scientific community
Xavier Leroy and Didier Rémy are members of IFIP Working Group 2.8 (Functional Programming).
Collective responsibilities within INRIA
Didier Rémy was a member of the hiring committees for the Rocquencourt and Futur CR2 competitions. He is also a member of the committee for Délégations et Détachements .
Collective responsibilities outside INRIA
Sandrine Blazy is a member of the Commission de spécialistes (hiring committees) of CNAM.
Michel Mauny chairs the scientific board of the French-Moroccan program Réseaux STIC : a cooperation program managed by INRIA and funded by the French Ambassy in Rabat.
Editorial boards and program committees
Xavier Leroy is an associate editor of the Journal of Functional Programming.
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.
Sandrine Blazy co-chaired the program committee for the Journées Francophones des Langages Applicatifs (JFLA 2007).
Damien Doligez participated in the program committee of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2007).
Alain Frisch served on the jury of the SPECIF PhD thesis award and on the program committees for ICFP 2006 (ACM SIGPLAN International Conference on Functional Programming), PLAN-X 2007 (ACM SIGPLAN Workshop on Programming Language Technologies for XML), and JFLA 2007 (Journées Francophones des Langages Applicatifs).
Xavier Leroy is a member of the steering committee of the ACM Symposium on Principles of Programming Languages (POPL). Xavier Leroy served on the program committees for the Compiler Optimization meets Compiler Verification workshop (COCV 2006), the Workshop on Mechanized Metatheory (WMM 2006), the Formal Methods symposium (FM 2006), the Asian Computing Science conference (ASIAN 2006), and the European Symposium on Programming (ESOP 2007).
François Pottier was a joint program chair for the 2006 ACM SIGPLAN Workshop on ML (ML'06) and the general chair for the 2007 ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI'07). He is a member of the steering committee for the ACM International Conference on Functional Programming (ICFP).
Didier Rémy was a member of the program committee of the European Symposium on Programming (ESOP 2006) and of the international workshop Foundations and Developments of Object-Oriented Languages (FOOL/WOOD 2006).
PhD and habilitation juries
Damien Doligez was a member of the PhD jury of his student Richard Bonichon (University Paris 6, december 2006).
Xavier Leroy was a reviewer (rapporteur ) for the PhD theses of June Andronick (University Paris Sud, march 2006) and Tamara Rezk (University of Nice, november 2006).
Didier Rémy was a member of the PhD jury of Tomasz Blanc (École Polytechnique, november 2006).
François Pottier was a reviewer (rapporteur ) for the PhD theses of Julien Signoles (Université Paris 11, july 2006) and Vincent Cremet (EPFL, may 2006).
The Caml user community
Maxence Guesdon maintains the Caml web site (http://caml.inria.fr/ ) and especially the Caml Humps (http://caml.inria.fr/humps/ ), a comprehensive Web index of about 500 Caml libraries, tools and tutorials contributed by Caml users. This Web site contributes significantly to the visibility of the Caml language.