Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

• S. Boldo, president of the 29th “Journées Francophones des Langages Applicatifs” (JFLA 2018)

• J.-C. Filliâtre, scientific chair and co-organizer of EJCP (École Jeunes Chercheurs en Programmation du GDR GPL) at Lyon on June 25–29, 2018. 5 days / 8 lectures / 25 participants. https://ejcp2018.sciencesconf.org/

• D. Gallois-Wong, co-chair of the Doctoral Programme of the 11th Conference on Intelligent Computer Mathematics (CICM 2018).

Member of the Organizing Committees

• G. Melquiond, organizer of the 10th “Rencontres Arithmétiques du GDR Informatique-Mathématique” (RAIM 2018)

Scientific Events Selection

Chair of Conference Program Committees

• S. Boldo, program chair of the 29th “Journées Francophones des Langages Applicatifs” (JFLA 2018).

• S. Boldo, program co-chair of the 26th IEEE Symposium on Computer Arithmetic (ARITH 2019), Kyoto, Japan.

Member of the Conference Program Committees

• S. Boldo, PC of the 25th IEEE Symposium on Computer Arithmetic (ARITH 2018)

• S. Boldo, PC of the 7th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2018)

• S. Boldo, PC of the Tenth NASA Formal Methods Symposium (NFM 2018)

• S. Boldo, PC of the Eleventh NASA Formal Methods Symposium (NFM 2019)

• J.-C. Filliâtre, PC of the 18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018)

• J.-C. Filliâtre, PC of the 10th International Conference on Interactive Theorem Proving (ITP 2019)

• J.-C. Filliâtre, PC of the European Symposium on Programming (ESOP 2020)

• J.-C. Filliâtre, PC of the Symposium on Languages, Applications and Technologies (SLATE 2018)

• G. Melquiond, PC of the 26th IEEE Symposium on Computer Arithmetic (ARITH 2019)

• G. Melquiond, PC of the 10th International Conference on Interactive Theorem Proving (ITP 2019)

Reviewer

The members of the Toccata team have reviewed papers for numerous international conferences.

Journal

Member of the Editorial Boards

• G. Melquiond, member of the editorial board of Reliable Computing.

• J.-C. Filliâtre, member of the editorial board of Journal of Functional Programming.

Reviewer - Reviewing Activities

The members of the Toccata team have reviewed numerous papers for numerous international journals.

Invited Talks

• J.-C. Filliâtre, invited speaker at the 8th International Conference on Interactive Theorem Proving (ITP 2018).

• J.-C. Filliâtre, invited speaker at the Formal Integrated Development Environment (F-IDE 2018).

Leadership within the Scientific Community

• S. Boldo, elected chair of the ARITH working group of the GDR-IM (a CNRS subgroup of computer science) with J. Detrey (Inria Nancy).

• J.-C. Filliâtre, chair of IFIP WG 1.9/2.15 verified Software.

Scientific Expertise

• G. Melquiond, member of the scientific commission of Inria-Saclay, in charge of selecting candidates for PhD grants, Post-doc grants, temporary leaves from universities (“délégations”).

• C. Marché, member of the “Bureau du Comité des Projets” of Inria-Saclay (includes examination of proposals for creation of new Inria project-teams for Saclay research center).

• S. Boldo, member of the program committee for selecting postdocs of the maths/computer science program of the Labex mathématique Hadamard.

• S. Boldo, member of the national Inria admission committee.

• J.-C. Filliâtre, grading the entrance examination at X/ENS (“option informatique”).

• C. Marché, scientific expert for project evaluation, Dutch Research Council (NWO https://www.nwo.nl/en), The Netherlands, 2018.

• C. Marché, scientific expert for project evaluation, National Science Centre (Narodowe Centrum Nauki - NCN http://www.ncn.gov.pl/), Poland, 2018.

• C. Marché, scientific expert for promotion of academic staff, Chalmers University of Technology, Sweden, 2018.

• S. Boldo, member of a hiring committee for an associate professor position in computer science at University Paris Diderot (IRIF laboratory).

• C. Marché, member of DigiCosme committee for research and innovation (selection of projects for working groups, post-doc grants, doctoral missions, invited professors)

Research Administration

• G. Melquiond, member of the committee for the monitoring of PhD students (“commission de suivi doctoral”).

• S Boldo, member of the CLFP (“commission locale de formation permanente”).

• S. Boldo, member of the CCD, (“commission consultative des doctorants”).

• S. Boldo will be deputy scientific director (DSA) of Inria Saclay research center from January 1st, 2019