EN FR
EN FR


Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair
  • S. Boldo, vice-president of the 28th “Journées Francophones des Langages Applicatifs” (JFLA 2017)

  • 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 Toulouse on June 26–30, 2017. http://ejcp2017.enseeiht.fr/

Member of the Organizing Committees

Scientific Events Selection

Chair of Conference Program Committees
  • A. Paskevich, program chair of the 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017), in collaboration with Thomas Wies (NYU) [35].

  • S. Boldo, program chair of the 10th International Workshop on Numerical Software Verification (NSV 2017) in collaboration with Alessandro Abate (Oxford) [33].

  • S. Boldo, program vice-chair of the 28th “Journées Francophones des Langages Applicatifs” (JFLA 2017) [34].

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

Member of the Conference Program Committees
  • S. Boldo, PC of the 24th IEEE Symposium on Computer Arithmetic (ARITH 2017)

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

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

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

  • S. Boldo, PC of the 8th International Conference on Interactive Theorem Proving (ITP 2017)

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

  • G. Melquiond, PC of the 3rd International Workshop on Coq for Programming Languages (CoqPL 2017).

  • G. Melquiond, PC of the 1st ACM SIGPLAN Workshop on Machine Learning and Programming Languages (MAPL 2017).

  • G. Melquiond, PC of the 10th International Workshop on Numerical Software Verification (NSV 2017).

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.

  • S. Boldo, member of the editorial board of Binaire http://binaire.blog.lemonde.fr, the blog of the French Computer Science Society.

Reviewer - Reviewing Activities

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

Invited Talks

  • S. Boldo gave a talk at EDF in Palaiseau on April 20th

  • S. Boldo gave a talk at the ModeliScale IPL in Paris on July 4th

  • S. Boldo gave a talk to teachers in Luminy on May 4th

  • S. Boldo gave a talk at the université of Saint-Denis de la Réunion on December 8th

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

Scientific Expertise

  • C. Marché, 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, in charge of examining proposals for creation of new Inria project-teams.

  • 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 a hiring committee for an associate professor position in computer science at Université Joseph Fourier, Grenoble, France.

  • S. Boldo, member of the 2017 committee for the Gilles Kahn PhD award of the French Computer Science Society.

Research Administration

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