Accueil

Les groupes de travail LTP (Langages, Types et Preuves) et MTV2 (Méthodes de Test, Vérification et Validation) du GDR GPL tiendront une réunion commune à Rennes (INRIA) autour du thème "langages, tests et/ou preuves", les 27/28 Octobre 2011.

Exposés invités

Jasmin Christian Blanchette du TUM (site perso) Titre: Preuves et réfutations automatiques en Isabelle/HOL

Certaines présentations ont été déposés sur le site. Celles-ci peuvent se télécharger dans la rubrique programme.