Project A3PAT (Assister Automatiquement les Assistants de Preuve Avec des Traces) | ANR - Agence Nationale de la Recherche ANR funded project | ANR - Agence Nationale de la Recherche

The French National Research Agency Projects for science

Voir cette page en français

ANR funded project

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

Partners

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

 UNIVERSITE BORDEAUX I

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

 CONSERVATOIRE NATIONAL DES ARTS ET METIERS (CNAM)

ANR grant: 234 999 euros
Beginning and duration: - 36 mois

 

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

Project ID: ANR-05-BLAN-0146

Project coordinator:
CONSERVATOIRE NATIONAL DES ARTS ET METIERS (CNAM) (CONSERVATOIRE NATIONAL DES ARTS ET METIERS (CNAM))

 

Back to the previous page

 

The project coordinator is the author of this abstract and is therefore responsible for the content of the summary. The ANR disclaims all responsibility in connection with its content.