Section: Dissemination

Popularization

Jacques-Henri Jourdan is involved in the organization of the Junior Seminar of Inria Paris-Rocquencourt.

Jacques-Henri Jourdan and Fabrice Le Fessant manned a stand at “Salon Culture & Jeux Mathématiques” in Paris.

Fabrice Le Fessant is one of the main organizers of the OCaml Meetup in Paris.

Xavier Leroy gave a popularization talk on critical software and its formal verification at the computer science colloquium of University Pierre et Marie Curie.

Since 2012, the Gallium team has published a research blog at http://gallium.inria.fr/blog/ , edited by Gabriel Scherer. This blog continued its activity in 2015, with 10 posts from 8 different authors.