L'Agence nationale de la recherche Des projets pour la science

Translate this page in english

Programme non thématique - Appel à projets de recherche (BLANC) 2005
Projet A3PAT

Assister Automatiquement les Assistants de Preuve Avec des Traces

Partenaires

 CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE - DELEGATION REGIONALE ILE-DE-FRANCE SECTEUR SUD

 CONSERVATOIRE NATIONAL DES ARTS ET METIERS (CNAM)

 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE -(INRIA Centre Sophia-Antipolis)

 UNIVERSITE BORDEAUX I

Aide de l'ANR 234 999 euros
Début et durée décembre 2005 - 36 mois

 

Programme ANR : Programme non thématique - Appel à projets de recherche (BLANC) 2005

Référence projet : ANR-05-BLAN-0146

Coordinateur du projet :
CONSERVATOIRE NATIONAL DES ARTS ET METIERS (CNAM) (CONSERVATOIRE NATIONAL DES ARTS ET METIERS (CNAM))

 

Revenir à la page précédente

 

L'auteur de ce résumé est le coordinateur du projet, qui est responsable du contenu de ce résumé. L'ANR décline par conséquent toute responsabilité quant à son contenu.