Bruno Barras  (Logical - Inria Futurs, LIX) 
Hugo Herbelin (Logical - Inria Futurs, LIX) 


22 ans de developpement du systeme Coq 


Nous presenterons les bases de l'architecture du systeme  Coq et de
l'organisation de son developpement. Ce sera l'occasion de discuter de
l'impact du langage de programmation sous-jacent (Objective Caml plus
un peu de Camlp4 et de C) sur l'implantation.