Interaction with the scientific community
Prices and distinctions
Since 2007, Marc Pouzet is a junior member of the IUF (“Institut Universitaire de France” ), that distinguishes each year a few French university professors for the high quality of their research activities.
The Ocamlviz summer project  was a great success, according to Jane Street's managing director Yaron Minsky:
<< From my point of view, the single most useful project is unquestionably ocamlviz. Ocamlviz is a realtime profiling tool for OCaml, and I was really impressed with the system's polish. The design is carefully thought out; it seems to be quite well implemented; the front-end has a surprisingly usable UI; there's a nice looking website for it, and good documentation to boot. It's really a fantastic effort, and I expect we'll be taking it for a spin on some of our own OCaml projects. >>
Yaron Minsky, Jane Street Capital
Project Pactole won the best Digiteo poster award at the annual Digiteo forum on the 21st of October http://www.digiteo.fr/Digiteo_Annual_Forum_2009 .
Collective responsibilities within INRIA
S. Boldo was elected representative of the researchers at the “comité de centre” of the INRIA Saclay - Île-de-France (2008–2010).
C. Paulin is déléguée scientifique of the centre INRIA Saclay - Île-de-France and she is a member of the national evaluation board of INRIA. In 2009, she participated to the hiring committee of CR2 positions at INRIA Sophia-Antipolis.
Collective responsibilities outside INRIA
C. Marché is a member of the “commission consultative de spécialistes” , Section 27, University Paris-Sud 11, since Sep. 08. In 2009, he participated to the hiring committee of one assistant professor position at IUT Orsay, and to the hiring committee of two assistant professor positions at UFR Orsay.
C. Marché is the French National Coordinator for the COST action “Formal Verification of Object-Oriented Programs” (2008-2011).
C. Marché is member of the program committee of Digiteo Labs, the world-class research park in Île-de-France region dedicated to information and communication science and technology, http://www.digiteo.fr/ , since April 2007.
M. Pouzet was a member of the hiring committee for a Professor in computer science, section 27, INPL Nancy, spring 2009. He was member of a hiring committee for an Assistant Professor at Universié Nancy I and for an Assistant Professor at ENSIMAG, Grenoble.
C. Paulin participated to the hiring committees of two assistant professor positions at ENS Cachan and at the Ecole des Mines de Nantes, and to the hiring committee of one professor position at ENS Lyon.
C. Paulin is director of the Graduate school in Computer Science at University Paris Sud http://dep-info.u-psud.fr/ed/ .
É. Contejean is a member of the “jury de l'agrégation externe de mathématiques” as an expert in computer science since 2007.
J.-C. Filliâtre is correcteur au concours d'entrée à l'École Polytechnique (computer science examiner for the entrance exam at École Polytechnique) since 2008.
G. Melquiond is an elected officer of the IEEE-1788 standardization committee on interval arithmetic since 2008.
S. Conchon is a member of the “commission consultative de spécialistes” , Section 27, University Paris-Sud 11, since Sep. 08. In 2009, he participated to the hiring committee of one assistant professor position at IUT Orsay.
S. Conchon is correcteur au concours d'entrée á l'École Polytechnique (computer science examiner for the entrance exam at École Polytechnique) since 2009.
X. Urbain is an elected member of the board (“conseil d'administration” ) of École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE).
S. Conchon is an elected member of the board (“conseil du laboratoire” ) of Laboratoire de Recherche en Informatique (LRI) since 2004.
M. Pouzet is an elected member of the “conseil du laboratoire” of LRI since 2006.
J.-C. Filliâtre co-organized (with Leo Freitas, University of York, UK) the VSTTE'09 workshop (November 2009, Eindhoven, the Netherlands). http://vstte09.lri.fr/ .
J.-C. Filliâtre is co-organizing (with Cormac Flanagan, University of California, Santa Cruz, CA, USA) the PLPV'10 workshop (January 2010, Madrid, Spain). http://slang.soe.ucsc.edu/plpv10/ .
C. Paulin co-organized the Digiteo Annual Forum 2009 (http://www.digiteo.fr/Digiteo_Annual_Forum_2009 ) which happened on Oct 21, 2009 at École Polytechnique. 335 participants. C. Marché was responsible for a session on critical software at this Forum.
S. Boldo is member of the editorial committee of the popular science web site )i(: http://interstices.info/ .
Marc Pouzet is associate editor of the EURASIP Journal on Embedded systems (http://www.hindawi.com/journals/es/ . He is “directeur de collection” for Hermes publisher.
C. Marché was a member of the program committee of the 22th International Conference on Automated Deduction (CADE'09).
C. Paulin is a member of the program committee of the 10th International Conference on Mathematics of Program Construction (MPC 2010).
S. Conchon is the vice-president of the “Journées Francophones des Langages Applicatifs” (JFLA) 2010.
J.-C. Filliâtre was a member of the program committees of AFM 2009, PLMMS 2009, TPHOLs 2009, VSTTE 2009 and PLPV 2010.
M. Pouzet was member of the program committee of the Real-Time and Network Systems Conference 2009 and MSR 2009. He was member of the program committe of the HFL (Hardware Functional Languages) 2009 workshop.
J.-C. Filliâtre was invited speaker at AFM'09 (Grenoble, France): Invited tutorial: Why — an intermediate language for deductive program verification  .
M. Pouzet was invited speaker at “journées de l'AFSEC, Toulouse, 27 janvier 2009: Abstraction d'horloges dans les systèmes synchrones .
M. Pouzet was invited to the annual meeting of IFIP WG2.8 on Functional Programming (Frauenchiemsee, Germany, June 7-12, 2009).
S. Boldo was invited to the main INRIA Paris-Rocquencourt seminar, “Le modèle et l'algorithme” (http://www.inria.fr/rocquencourt/rendez-vous/modele-et-algo/ ), on October 1st.
C. Paulin was invited to the conference “Philosophy and Foundations of Mathematics : Epistemological and Ontological Aspects” dedicated to Per Martin-Löf on the occasion of his retirement in Uppsala, May 5-8, 2009.
G. Melquiond was invited to present the IEEE-1788 standardization process  at the Arith 19 symposium in Portland, OR, June 8-10, 2009.
G. Melquiond was invited speaker at the arithmetic workshop of GDR IM (RAIM'09) in Lyon, October 26-28, 2009.
PhD theses defended
Yannick Moy defended his PhD on January 15th, 2009. He was supervised by C. Marché (CIFRE thesis co-supervised by P. Crégut, France-Telecom). He is now senior software engineer at the AdaCore Company, at the European Office in Paris. (http://www.adacore.com ).
Participation to PhD juries
C. Marché was president of the PhD jury of Clément Hurlin (University of Nice, September 14th, 2009).
C. Paulin was a member of the PhD jury of Zainah Dargaye (Univ. Paris 7, July 2009) and Benoît Razet (Univ. Paris 7, November 2009).
M. Pouzet was member of the PhD jury of Carlos Olarte (Ecole Polytechnique, september 2009).
Jean-Christophe Filliâtre reviewed the manuscript and was a member of the PhD jury of Benoît Razet (Univ. Paris 7, November 2009).