201121007R : DEDUCTEAM DEDUCTEAM
- Unité de recherche
Responsables
Frederic BLANQUI à partir du 01/06/2024
Adresse :
Descriptif :
Aucun
Ecole(s) doctorale(s) de rattachement :
non renseignée
Rattachée au(x) thème(s) de recherche suivant(s):
non renseigné
Liens avec d'autres structures :
Participe à :
Participe à :
- Structures Fédératives de Recherche 200818248E - Centre Inria de Saclay (lien non exclusif)
- Unité mixte 202123712M - Laboratoire Méthodes Formelles (lien non exclusif)
Contact: gilles.dowek@inria.fr
Année de création : 2011
Année de fermeture : 2024
Site ESR :
Aucun
Classement scientifique ERC :
non renseigné.
Domaine scientifique :
- 9 : Sciences et technologies de l'information et de la communication 2011
|
INRIA
-
Institut national de la recherche en informatique et automatique
(E )
(établissement tutelle à partir de 2011) |
Etablissement référent |
|
U PARIS-SACLAY
-
Université Paris-Saclay
(établissement tutelle à partir de 2020) |
-
Libellé(s) de structure
- 05/01/2015 : Deduction modulo, interopérabilité et démonstration automatique
-
Responsable
- 01/12/2011 - 31/05/2024 : Gilles DOWEK ()