Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Dissemination



Xavier Leroy was on the committee of the 2019 Sephora Berrebi scholarship for women in mathematics and computer science. At the award ceremony (Paris, France, February 2019), he gave a popular science talk on Grace Hopper and the birth of the compiler.

Xavier Leroy gave popularization talks on deductive software verification at the Aerospace Lab Conferences of ONERA (Palaiseau, France, June 2019) and at the Summer 2019 BOB conference (Berlin, Germany, August 2019).