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) in Sophia and Saclay.

• S. Boldo was in the committee in charge of upgrading an Inria support staff at the IR level (ingénieur de recherche), which is the highest level for support staff.

• S. Boldo, member of the CLFP, comité local de formation permanente.

• S. Boldo and A. Charguéraud, members 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.

Collective Responsibilities outside Inria

• A. Charguéraud is vice-president of France-IOI, a non-profit organization in charge of the selection and the training of the French team to the International Olympiads in Informatics. France-IOI also provides online exercises in programming and algorithmics — in average, more than 70,000 such exercises are solved every month on the website.

• A. Charguéraud is a board member of the non-profit organization Animath, which aims at developing interest in mathematics among young students.

• É. 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.

• 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 from November 2011 to November 2013.

• C. Marché (since April 2007) and C. Paulin (since September 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é, president of this committee since July 2013.

• 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.

• C. Paulin, scientific leader of Labex DigiCosme http://labex-digicosme.fr (Digital Worlds Distributed data, programs and architectures), a project launched by the French Ministry of research and higher education as part of the program “Investissements d'avenir”, it involves the 14 research units in computer science and communications from the “Paris-Saclay” cluster.

• 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, president of the assembly of directors of graduate schools at the Université Paris-Sud since September 2012.

• 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 in 2012–2013 and B. Cautis in 2013–2014) of Licence professionnelle PER (L3) at IUT d'Orsay, Paris-Sud University since September 2012.