Français Anglais
Accueil Annuaire Plan du site
Research results
Contract / grant for group Toccata
A3PAT

ANR
Dec 2005 - Jun 2009

Group : Toccata
Principal investigator : 

Administrator : 
Affiliation : CNRS



A3PAT (Assister Automatiquement les Assistants de Preuve Avec des Traces, Helping proof assistants with full automation by means of
traces, literally ``on three legs'') aims at helping proof assistants with trustworthy decision procedures, in particular by generating proof traces in order to build proof terms.

Research activities

Participants
CONCHON Sylvain


More information : http://www3.iie.cnam.fr/~urbain/a3pat/
Contracts & grants
° ATOS/BULL
ATOS/BULL CONTRACT
INDUSTRIEL

° DATACERT
DATACERT
ANR

° SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF

° ALGORE CELL
ALGORE CELL
ANR

° PARDI
PARDI
ANR