Fiche d'une structure
Gallinette : vers une nouvelle génération d'assistant à la preuve Équipe de recherche1088569
GALLINETTERNSR : 201722488ZFrancehttps://www.inria.fr/equipes/gallinetteDate de création : vendredi 1 juin 2018
Inria Rennes – Bretagne Atlantique Laboratoire419153
Campus de beaulieu 35042 Rennes cedexRNSR : 198018249CROR : https://ror.org/04040yw90Francehttp://www.inria.fr/centre/rennes
Institut National de Recherche en Informatique et en Automatique Institution300009
InriaDomaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay CedexROR : https://ror.org/02kvxyf05Francehttp://www.inria.fr/en/ Structure verrouillée
Laboratoire des Sciences du Numérique de Nantes Laboratoire1088564
LS2NNantes Université – faculté des Sciences et Techniques (FST) 2 Chemin de la Houssinière BP 92208, 44322 Nantes Cedex 3IdRef : 203637585RNSR : 201722241FROR : https://ror.org/02snf8m58Francehttps://www.ls2n.frDate de création : samedi 1 janvier 2022
Institut National de Recherche en Informatique et en Automatique Institution300009
InriaDomaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay CedexROR : https://ror.org/02kvxyf05Francehttp://www.inria.fr/en/ Structure verrouillée
UMR6004
Centre National de la Recherche Scientifique Regroupement d'Institutions441569
CNRSIdRef : 02636817XISNI : 0000000122597504ROR : https://ror.org/02feahw73Francehttps://www.cnrs.fr/Date de création : jeudi 19 octobre 1939 Structure verrouillée
IMT Atlantique Institution481355
IMT AtlantiqueCampus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 - Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES - Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNEIdRef : 202743233ROR : https://ror.org/030hj3061Francehttps://www.imt-atlantique.frDate de création : dimanche 1 janvier 2017 Structure verrouillée
Institut Mines-Télécom [Paris] Regroupement d'Institutions302102
IMT37-39 Rue Dareau, 75014 ParisROR : https://ror.org/025vp2923Francehttp://www.mines-telecom.fr/Date de création : jeudi 1 mars 2012
NANTES UNIVERSITÉ - École Centrale de Nantes Institution1086798
Nantes Univ - ECN1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3IdRef : 03063525XISNI : 0000000122039289ROR : https://ror.org/03nh7d505Francehttp://www.ec-nantes.fr/Date de création : samedi 1 janvier 2022
Nantes université - UFR des Sciences et des Techniques Regroupement de Laboratoires1088543
Nantes univ - UFR ST2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3Francehttp://www.sciences-techniques.univ-nantes.fr/Date de création : samedi 1 janvier 2022
Nantes Université - pôle Sciences et technologie Institution1083400
Francehttps://nouvelleuniversite.univ-nantes.fr/les-polesDate de création : samedi 1 janvier 2022