Section: Dissemination

Promoting Scientific Activities

Scientific Events: Organisation

General Chair, Scientific Chair

• J.-C. Filliâtre, scientific chair and co-organizer of EJCP (École Jeunes Chercheurs en Programmation du GDR GPL) at Strasbourg on June 24–28, 2019. 5 days / 8 lectures / 25 participants. http://ejcp2019.icube.unistra.fr/

Scientific Events: Selection

Chair of Conference Program Committees

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

Member of the Conference Program Committees

• S. Boldo, 11th NASA Formal Methods Symposium (NFM 2019)

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

• J.-C. Filliâtre, 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2020)

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

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

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

Reviewer

The members of the Toccata team have reviewed numerous 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

• G. Melquiond, “Computer Arithmetic and Formal Proofs” [19], at the 30th Journées Francophones des Langages Applicatifs (JFLA 2019).

• J.-C. Filliâtre, “Deductive Verification of OCaml Libraries” [17], at the 15th International Conference on integrated Formal Methods (iFM), December 2019, Bergen, Norway.

• J.-C. Filliâtre, “Retour sur 25 ans de programmation avec OCaml” [18], at Journées Francophones des Langages Applicatifs (JFLA), January 2019, Les Rousses, France.

• J.-C. Filliâtre, “The Why3 tool for deductive verification and verified OCaml libraries”, at Frama-C/Spark day 2019, Paris, France.

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) and now L.-S. Didier (Univ. Toulon).

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

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

• S. Boldo has mentored for 1 year a female PhD student of University Paris-Saclay (from epidemiology).

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

• 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 (national) IES commission.

• S. Boldo, member of the CDT commission of Saclay (“commission de développement technologique”).

• S. Boldo, member of the STIC department commission of Univ. Paris-Sud.

• S. Boldo, member of the executive commission for the Digicosme Labex.

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