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

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


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.