Séminaire Codes Sources

Html-source-code3

À 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…

 

 

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.

Organisateurs

Raphaël Fournier (CNAM)
Baptiste Mélès (CNRS, Archives Henri-Poincaré)
Lionel Tabourier (LIP6).

Découvrir le carnet de recherche
Programme 2015/2016

1ère séance
Mercredi 14 octobre 2015
Georges Gonthier (Microsoft Research/INRIA), « Le génie logiciel des mathématiques formelles »