Blanc inter SIMI 2 - Blanc international - Sciences de l'information, de la matière et de l'ingénierie : Sciences de l’information, simulation
2010
Théorie de démonstration structurelle et calculatoire – structural
Coordination du projet
PARIGOT Michel (UNIVERSITE DE PARIS VII [DENIS DIDEROT])
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.
Partenariat
Université Paris Diderot - Paris 7 UNIVERSITE DE PARIS VII [DENIS DIDEROT]
INRIA Saclay - Île-de-France / Equipe Projet PARSIFAL INRIA Saclay
INRIA Saclay - Île-de-France / Equipe Projet PARSIFAL INRIA SACLAY - IDF
Aide de l'ANR 222 810 euros
Début et durée du projet scientifique :
- 36 Mois
