Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

Member of the Organizing Committees

• Formal Methods meet JavaScript Workshop 2018, organizer: Alan Schmitt

Scientific Events Selection

Chair of Conference Program Committees

• AVoCS 2018 (International workshop on automated verification of critical systems), FLOC workshop, Oxford (co-chair) : David Pichardie

Member of the Conference Program Committees

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

• CPP 2018 (ACM SIGPLAN Conference on Certified Programs and Proofs) : Sandrine Blazy

• ITP 2018 (International Conference on Interactive Theorem Proving) : Delphine Demange

• Euro S&P 2018 (IEEE European Symposium on Security and Privacy) : Sandrine Blazy

• ICFP 2018 (ACM SIGPLAN International Conference on Functional Programming) : Sandrine Blazy

• LOPSTR 2018 (Symposium on Logic-Based Program Synthesis and Transformation) : Sandrine Blazy

• SAS 2018 artefact evaluation committee : Frédéric Besson

• ProWeb 2018: Alan Schmitt

Journal

Reviewer - Reviewing Activities

• Discrete Mathematics & Theoretical Computer: Alan Schmitt

• Theoretical Computer Science: Alan Schmitt

• Theoretical Informatics and Applications: Alan Schmitt

Invited Talks

• F. Besson gave a talk at the Dagstuhl Seminar 18201 "Secure Compilation".

• T. Genet gave an invited talk at the ETAPS “Workshop on Rewriting Logic and Applications” in Thessaloniki [12].

Leadership within the Scientific Community

• Sandrine Blazy coordinated of the LTP (Languages, Types, Proofs) group of the French GDR GPL (until October 2018).

• Thomas Jensen is head of the research axis “Security and Privacy” at the Labex CominLabs.

• Sandrine Blazy and Thomas Jensen are member of the Steering Committee of Static Analysis Symposium (SAS).

Scientific Expertise

• Sandrine Blazy: expertise of an ERC Advanced Grant research proposal

• David Pichardie: expertise of two ERC Advanced Grant research proposals

• Sandrine Blazy and David Pichardie : members of the HCERES evaluation committee of the LSV laboratory in December 2018

• David Pichardie: expertise of 1 ANR project

• David Pichardie, jury member for the selection of a Maître de Conférences at ENSEEIHT (Toulouse), May 2018

• Thomas Jensen: expertise of an ERC Consolidator Grant research proposal

• Alan Schmitt: expertise of a Innovational Research Incentives Scheme Veni research proposal

• Sandrine Blazy is member of IFIP WG 2.11 on program generation and of IFIP WG 1.9/2.15 on verified software

Research Administration

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