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
-
S. Conchon, local chair for the 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2017), held in Paris, France in January 2017. http://conf.researchr.org/home/POPL-2017).
-
C. Marché, co-organizer of the first joint Frama-C/SPARK day (May, Paris, http://frama-c.com/FCSD17.html), in the context of the Open Source Innovation Spring (http://www.open-source-innovation-spring.org/).
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 the ModeliScale IPL in Paris on July 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.