Section: Dissemination
Interaction with the scientific community
Collective responsibilities within Inria
S. Boldo, elected member of the Inria Evaluation Committee. She was in the committee in charge of selecting the Inria permanent researchers (CR2 and CR1).
S. Boldo was in the committee in charge of selecting an Inria support staff (TR, technicien de recherche) for the Saclay finance and accounting service (SAF).
S. Boldo, member of the CLHS, comité local hygiène et sécurité and member of the CLFP, comité local de formation permanente.
S. Boldo, member of the committee for the monitoring of PhD students (commission de suivi des doctorants).
S. Boldo, scientific head for Saclay for the MECSI group for networking about computer science popularization inside Inria.
S. Boldo, member of the popularization committee, comité de médiation scientifique, of Inria.
C. Paulin was a member of the “Commission Scientifique” (in charge of selecting PhD students, post-doc, invited researchers funded by Inria Saclay - Île-de-France) until Aug.
Collective responsibilities outside Inria
A. Charguéraud is vice-president of “France-IOI”, the organization in charge of the selection and the training of the French team to the International Olympiads in Informatics.
É. Contejean and C. Marché, nominated members of the “conseil du laboratoire” of LRI since April 2010.
É. Contejean, elected member of the “Section 6 du Comité National de la Recherche Scientifique” since September 2012.
S. Conchon, elected member of the “Conseil scientifique de l'Université Paris-Sud” since June 2012.
C. Lelay, elected member of the “conseil du laboratoire” of LRI since November 2011.
C. Lelay, elected representative of the students at the Doctoral School in Computer Science at University Paris-Sud since November 2011.
C. Marché (since April 2007) and C. Paulin (since Sep. 2010), members 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/ .
C. Marché and S. Boldo, members of the “jury de l'agrégation externe de mathématiques” as experts in computer science, since 2012.
G. Melquiond and C. Paulin, members of the “commission consultative de spécialistes de l'université”, Section 27, University Paris-Sud since April 2010.
G. Melquiond, elected officer of the IEEE-1788 standardization committee on interval arithmetic since 2008.
G. Melquiond is an examiner for the computer science entrance exam to École Normale Supérieure since 2010.
C. Paulin, head of the new Digicosme laboratory of excellence (http://labex-digicosme.fr/ )
C. Paulin, director of the Doctoral school in Computer Science at University Paris-Sud http://edips.lri.fr/ , until August 2012. Now in charge of the assembly of directors of graduate schools at the Université Paris-Sud.
C. Paulin, member of the board of the “Commission Académique Consultative” of the Initiative d'Excellence Paris-Saclay.
C. Paulin, president of the Computer Science Department of the University Paris-Sud https://www.dep-informatique.u-psud.fr/ , since February 2012.
C. Paulin participated to the hiring committee for a senior lecturer position at in Logic of Programs at University of Göteborg in Sweden.
C. Paulin participated to two hiring commitees in France (professor positions at Paris-Sud University and CNAM)
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.
A. Paskevich is in charge (together with C. Bastoul) of Licence professionnelle PER (L3) at IUT d'Orsay, Paris-Sud University since September 2012.