Précédent : Actions industrielles Remonter : Actions industrielles Suivant : Dassault-Aviation

CNET

Participants : Olivier Pons, Laurence Rideau, Yves Bertot

Nous avons une collaboration suivie avec P. Crégut and J.-F. Monin du CNET à Lannion au sein d'une convention de trois ans, en commun avec le projet Coq. Cette collaboration porte sur l'aide au développement de grandes théories réutilisables pour le système Coq (thèse d'Olivier Pons - voir section 3.3.3 ).