Team Gallium

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Dissemination

Other dissemination activities

Arthur Charguéraud is co-trainer of the French team for the International Olympiads in Informatics (IOI). He participates in the France-IOI association , which aims at promoting programming and algorithmics among high-school students.

Roberto Di Cosmo gave a tutorial on “The complexity of free software” at the Fête de la Science in October.

Damien Doligez was the recipient of a Cygwin Gold Star Award for taking over maintenance of the Cygwin OCaml package.

Xavier Leroy published a popular science article on compiler verification in the monthly La Recherche [35] . This text was republished on the Interstices Web site.


previous
next

Logo Inria