201722488Z : GALLINETTE Gallinette : vers une nouvelle génération d'assistant à la preuve
- Unité de recherche
Responsables
Nicolas TABAREAU à partir du 01/06/2018
Adresse : 35042 Rennes
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 à :
- Unité mixte 201722241F - Laboratoire des Sciences du Numérique de Nantes (lien non exclusif)
- Structures Fédératives de Recherche 198018249C - Centre Inria de l’Université de Rennes (lien non exclusif)
Contact: nicolas.tabareau@inria.fr
Année de création : 2017
Année de fermeture : 2028
Site ESR :
Aucun
Classement scientifique ERC :
non renseigné.
Domaine scientifique :
- 9 : Sciences et technologies de l'information et de la communication 2017
|
INRIA
-
Institut national de la recherche en informatique et automatique
(E )
(établissement tutelle à partir de 2017) |
Etablissement référent |
|
IMT Atlantique
-
Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire
(établissement tutelle à partir de 2018) |
|
|
Nantes Université
-
Nantes Université
(établissement tutelle à partir de 2022) |
-
Libellé(s) de structure
- 15/06/2017 : GALLINETTE
- 15/06/2017 : GALLINETTE
-
Responsable
- 01/05/2017 - 31/05/2018 : Nicolas TABAREAU (DIR)