{"word_count": 107, "character_count": 815}
 À chaque séance du séminaire Codes sources, depuis janvier 2015, un intervenant vient présenter, en moins d’une heure, un code source de son choix : un fragment de système d’exploitation, de pilote, de compilateur, de bibliothèque…&#160;&#160; Le code peut avoir été écrit par l’orateur ou par quelqu’un d’autre, dans quelque langage que ce soit. Le commentaire peut être algorithmique, stylistique, historique ou philosophique, et porter sur tous les aspects du code, commentaires compris. Le code est discuté avec l’auditoire.OrganisateursRaphaël Fournier (CNAM)Baptiste Mélès (CNRS, Archives Henri-Poincaré)Lionel Tabourier (LIP6).Découvrir le carnet de rechercheProgramme 2015/20161ère séanceMercredi 14 octobre 2015Georges Gonthier (Microsoft Research/INRIA), « Le génie logiciel des mathématiques formelles »