Ministère de l'Enseignement Supérieur, de la Recherche et de l'Innovation

Ministère de l'Enseignement Supérieur,
de la Recherche et de l'Innovation

rnSr

201722488Z : GALLINETTE Gallinette : vers une nouvelle génération d'assistant à la preuve
Unité de recherche (situation 2024)

Responsable(s)

- Nicolas TABAREAU à partir du 01/06/2018

Etablissements.
	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)

Adresse 35042 Rennes	Contact courriel : nicolas.tabareau@inria.fr
Site web : http://www.inria.fr/equipes/gallinette
Taille en ETP (sans compter les stagiaires): non renseignée.
Descriptif : Aucun.
Année de création : 2017
Mission de la structure : Non renseignée.
Mode de gestion de la structure : Non renseigné.
SIRET de la structure : Non renseigné.
Classement scientifique ERC Non renseigné
Domaine scientifique - 9 : Sciences et technologies de l'information et de la communication 2017 0
Ecole(s) doctorale(s) de rattachement Non renseigné
Rattachée au(x) programme(s) LOLF suivant(s): Non renseigné
Rattachée au(x) thème(s) de recherche suivant(s): Non renseigné
Liens avec d'autres structures : Participe à : - Structures Fédératives de Recherche 198018249C - Centre Inria de l’Université de Rennes (lien non exclusif) - Unité mixte 201722241F - Laboratoire des Sciences du Numérique de Nantes (lien non exclusif)
Site ESR : Aucun.

Fiche mise à jour par Tifenn Graffin le 03/06/2024 à 16:53