Section: Dissemination

Popularization

Pierre-Louis Curien wrote the editorial of a special “hors série” issue of the information letter of The Fondation Sciences Mathématiques, entitled “Des preuves et des programmes”, may 2014. He wrote an introductory article “Formalisation mathématique, certification logicielle, même combat!” in the journal Gazette des Mathématiciens 142, 83-86 (octobre 2014).

Lourdes González-Huesca and Étienne Miquey took part in the animation of the “Fête de la Science” event at the University Paris 7.

Étienne Miquey took part in the animation of several activities about mathematics in elementary and high schools of Paris.

Yann Régis-Gianas co-organised the “Journée Francilienne de Programmation”, a programming contest between undergraduate students of three universities of Paris (UPD, UPMC, UPS).

Yann Régis-Gianas organised the “Fête de la Science” event for the computer science department of the University Paris 7.

Yann Régis-Gianas and Pierre Letouzey took part in the “Salon Culture et Jeux mathématiques” at Saint Sulpice, Paris.

Yann Régis-Gianas gave several conferences about “What is programming?” in elementary and high schools of Paris.