Section: Dissemination

Popularization

David Pichardie organised the second edition of the french Castor Informatique contest. This contest promotes Computer Science in secondary schools and high schools. It is organised by Inria, ENS Cachan and the France IOI association and supported by CNRS, Pascaline, the SIF and API associations. In 2012, there was about 90.000 participants.

Sandrine Blazy was interviewed for a 10 minutes podcast (in French) about compiler verification. The podcast is available from the Interstices website.