Interactions with the scientific community
Collective responsibilities within INRIA
Xavier Leroy was a member of the hiring committee for the INRIA Paris-Rocquencourt CR2 and CR1 competitions.
François Pottier is a member of INRIA's COST (Conseil d'Orientation Scientifique et Technologique ).
François Pottier is a member of the selection committee for post-doctoral grants at INRIA Paris-Rocquencourt.
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 a member of the hiring committee for the joint Chair position between INRIA and University of Bordeaux.
Collective responsibilities outside INRIA
Sandrine Blazy was a member of the Board (conseil d'administration) of ENSIIE.
Roberto Di Cosmo acted as an expert for the selection of the Integrated Projects in Objective 1.2 of the Call 5 of the FP7 european research program.
Roberto Di Cosmo was head of graduate studies for Computer Science at University Paris Diderot.
Roberto Di Cosmo is a member of the Scientific Advisory Board and of the Board of Trustees of the IMDEA Software research center in Madrid.
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 served on the program committee for the AFADL 2009 (Approches Formelles dans l'Assistance au Développement de Logiciels) conference.
Damien Doligez was a member of the program comittees of the ACM 2009 workshop on ML and of the JFLA 2010 conference.
Xavier Leroy served on the program committees of the ACM International Conference on Functional Committee (ICFP 2009), of the Theorem Proving in Higher-Order Logics (TPHOLs 2009) conference, and of the ACM Programming Languages meet Program Verification (PLPV 2010) workshop.
François Pottier served on the program committees of the Logic in Computer Science (LICS) 2009 conference, the Functional and Logic Programming (FLOPS) 2010 symposium, the Programming Languages and Analysis for Security (PLAS) 2009 worksop, and the 2009 workshop on Mechanized Metatheory (WMM). He is a member of the steering committee for the International Conference on Functional Programming (ICFP).
Didier Rémy served on the program committee of the 2010 European Symposium on Programming (ESOP).
Ph.D. and habilitation juries
Roberto Di Cosmo was president of the Ph.D. jury of Jean-Baptiste Tristan (University Paris Diderot, november 2009) and a member of the Ph.D. juries of Benoît Razet (University Paris Diderot, november 2009) and Denis Cousineau (Ecole Polytechnique, december 2009).
Xavier Leroy was external examiner (rapporteur ) for the Ph.D. theses of Yannick Moy (University Paris Sud, january 2009), Cesar Kunz (École des Mines ParisTech, february 2009), and Magnus Myreen (Cambridge University, april 2009). He was a member of the Ph.D. juries of his students Zaynah Dargaye (University Paris Diderot, july 2009) and Jean-Baptiste Tristan (University Paris Diderot, november 2009).
Xavier Leroy and Didier Rémy are members of IFIP Working Group 2.8 (Functional Programming).