Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

• PLMW@SPLASH 2016 (Programming Languages Mentoring Workshop) was chaired by Sandrine Blazy and Ulrik Prag-Schultz

• CoqPL 2017 (International Workshop on Coq for PL) was chaired by Sandrine Blazy and Emilio Jesus Gallego Arias

Member of the Organizing Committees

• JFLA 2016 (Journées Francophones des Langages Applicatifs) was locally organized by Julien Signoles and Alan Schmitt

Scientific Events Selection

Chair of Conference Program Committees

• VSTTE 2016 (Verified Software: Theories, Tools, and Experiments) was chaired by Sandrine Blazy and Marsha Chechik

Member of the Conference Program Committees

• CoqPL 2017 (International Workshop on Coq for PL) : Sandrine Blazy

• CPP 2017 (ACM SIGPLAN Conference on Certified Programs and Proofs) : Delphine Demange

• POPL 2017 (Symposium on Principles of Programming Languages) : Delphine Demange (External Program Committee)

• ESOP 2017 (European Symposium on Programming) : David Pichardie

• CC 2017 (International Conference on Compiler Construction) : David Pichardie

• IFL 2016 (International symposium on Implementation and application of Functional Languages) : Sandrine Blazy

• APLAS 2016 (Asian Symposium on Programming Languages and Systems) : Sandrine Blazy

• VSTTE 2016 (Verified Software: Theories, Tools, and Experiments) : Sandrine Blazy, Frédéric Besson

• GPCE 2016 (Generative Programming: Concepts & Experiences) : Sandrine Blazy

• DS@STAF 2016 (Doctoral Symposium) : Sandrine Blazy

• CPP 2016 (Certified Proofs and Programs) : Sandrine Blazy

• HaTT 2016 (International Workshop - Hammers for Type Theories) : Frédéric Besson

• AFADL 2016 (Approches Formelles dans l'Assistance au Développement de Logiciels) : Sandrine Blazy

• iFM 2016 (International Conference on integrated Formal Methods) : Delphine Demange

• FTfJP 2016 (Workshop on Formal Techniques for Java-like Programs) : Delphine Demange

• IFIP SEC 2016 (31st International Conference on ICT Systems Security and Privacy) : Thomas Jensen

Reviewer

• POPL 2017 (Symposium on Principles of Programming Languages): Alan Schmitt

• ESOP 2017 (European Symposium on Programming): Alan Schmitt

• VMCAI 2017 (International Conference on Verification, Model Checking, and Abstract Interpretation) : Delphine Demange

Journal

Reviewer - Reviewing Activities

• Journal of Software Evolution and Process: Sandrine Blazy

• International Journal of Computer Mathematics: Alan Schmitt

• Science of Computer Programming: Alan Schmitt

Invited Talks

• Journées nationales 2016 GDR Informatique Mathématique : Delphine Demange

Leadership within the Scientific Community

• Thomas Jensen is director of the Department NUMERIC of informatics, mathematics and electrical engineering at University Bretagne Loire.

• Thomas Jensen is leader of the security track of the LABEX Comin Labs.

Scientific Expertise

• Sandrine Blazy: expertise of 1 ANR project.

• Thomas Jensen: expertise of full project proposals for the ANR.

Research Administration

• Sandrine Blazy is member of Section 6 of the national committee for scientific research CoNRS from Sept. 2016.

• Sandrine Blazy is coordinator of the LTP (Languages, Types, Proofs) group of the French GDR GPL.