Lemme
Composition de l'équipe
Présentation et objectifs généraux
Fondements scientifiques
Environnements de preuves
Formalisation de théories mathématiques
Implémentations certifiées d'algorithmes de calcul scientifique
Sémantique des langages de programmation
Domaines d'applications
Cartes à puces
Algorithmes certifiés
Web, MathML, XML
Logiciels
Pcoq
Ctcoq
Aïoli et Figue
Stålmarck
Résultats nouveaux
Outils pour les environnements de preuve
Formalisation de théories mathématiques
Certification d'algorithmes
Sémantique des langages de programmation
Contrats industriels (nationaux, européens et internationaux)
Dyade
GénieII
Dassault Aviation
Gem+
Verificard
Actions régionales, nationales et internationales
Actions nationales
Actions européennes
Diffusion de résultats
Manifestations scientifiques, missions
Animation de la communauté scientifique
Divers
Visites
Direction de thèses
Jury de thèses
Encadrement de stagiaires
Enseignement
Bibliographie