Personnel
Overall Objectives
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Section: Dissemination

Popularization

Article “JavaScript, un langage à la croissance organique”, Alan Schmitt, blog Binaire Le Monde. http://binaire.blog.lemonde.fr/2017/05/12/javascript-un-langage-a-la-croissance-organique/

Article “L'assistant de preuve Coq”, Sandrine Blazy, Pierre Castéran, Hugo Herbelin, Techniques et Sciences de l'ingénieur, août 2017. https://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-information-th9/programmation-42304210/coq-assistant-de-preuve-h3310/

Talk “Bug, Virus, Intrusion, Pirates... So many threats and no defense? Yes... maths.”, Thomas Genet, given three times in high schools close to Rennes.