Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Dissemination


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 , edited by Gabriel Scherer. This blog continued its activity in 2015, with 10 posts from 8 different authors.