Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

Static Analysis Symposium 2015, Saint-Malo, September 2015.

Scientific events selection

Chair of conference program committees

SAS 2015 (Static Analysis Symposium) was chaired by Sandrine Blazy and Thomas Jensen

Member of the conference program committees

• FORTE 2015 (International Conference on Formal Techniques for Distributed Objects, Components and Systems): Alan Schmitt

• CoqPL 2016 (International Workshop on Coq for PL): Alan Schmitt

• POPL 2015 (Symposium on Principles of Programming Languages): David Pichardie (Program Committee) and Delphine Demange (External Review Committee)

• ESOP 2015 (European Symposium on Programming) : Delphine Demange

• JFLA 2015 (Journées Francophones des Langages Applicatifs) : Delphine Demange

• OCaml workshop 2015: Sandrine Blazy

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

• ITP 2015 (Interactive Theorem Proving): Sandrine Blazy

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

• IFIP SEC 2015: Thomas Jensen

Reviewer

• CONCUR 2015 (International Conference on Concurrency Theory): Alan Schmitt

• FOSSACS 2016 (International Conference on Foundations of Software Science and Computation Structures): Alan Schmitt

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

• ATVA 2015 (13th International Symposium on Automated Technology for Verification and Analysis) : Sandrine Blazy

• ESOP 2015 (European Symposium on Programming): Thomas Jensen.

Journal

Reviewer - Reviewing activities

• Applied Mathematics & Information Sciences: Alan Schmitt

• Formal Aspects of Computing: Alan Schmitt, Thomas Jensen

• International Journal of Computer Mathematics: Alan Schmitt

• Journal of Automated Reasoning: Sandrine Blazy, David Pichardie

• Journal of Computer Security : Sandrine Blazy

Invited talks

• Sandrine Blazy: Formal verification of compilers and static analyzers, PLMW@POPL 2015 (Programming Languages Mentoring Workshop)

• Thomas Jensen: Integrating formal verification within programming languages. Seminar Collège de France, October 2015.

Scientific expertise

• Sandrine Blazy: expertise of 2 projects for FNR (Luxemburg)

• Thomas Jensen, expertise of ANR AAP general, short proposals

Research administration

• Thomas Jensen is head of the NUMERIC department at University of Bretagne-Loire

• Thomas Jensen is managing the “Security” track of ANR Comin Labs.