Construction of verified concurrent systems Équipe de recherche178330
CONVECSCentre de recherche Inria
655 avenue de l'Europe
38330 Montbonnot Saint-MartinRNSR : 201221019ZFrancehttp://www.inria.fr/equipes/convecsDate de création : dimanche 1 janvier 2012Date de fermeture/fusion : jeudi 31 décembre 2015 Structure verrouillée
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 d'Informatique de Grenoble Laboratoire24471
LIGUMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères
Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France
Tél. : 04 57 42 14 00IdRef : 148425550ISNI : 0000 0001 2286 4035 RNSR : 200711886UROR : https://ror.org/01c8rcg82Francehttp://www.liglab.fr/Date de création : lundi 1 janvier 2007Date de fermeture/fusion : jeudi 31 décembre 2015
Université Pierre Mendès France - Grenoble 2 Institution3886
UPMFBP 47 - 38040 Grenoble Cedex 9IdRef : 02640432XROR : https://ror.org/02f7wz369Francehttp://www.upmf-grenoble.fr/Date de fermeture/fusion : jeudi 31 décembre 2015
Université Joseph Fourier - Grenoble 1 Institution51016
UJFBP 53 - 38041 Grenoble Cedex 9IdRef : 026404796ROR : https://ror.org/02aj0kh94Francehttp://www.ujf-grenoble.fr/Date de fermeture/fusion : jeudi 31 décembre 2015
Institut polytechnique de Grenoble - Grenoble Institute of Technology Institution89889
Grenoble INP 46 avenue Félix Viallet 38031 Grenoble Cedex 1IdRef : 026388804ROR : https://ror.org/05sbt2524Francehttp://www.grenoble-inp.fr/Date de création : lundi 1 janvier 2007Date de fermeture/fusion : mardi 31 décembre 2019
Institut National Polytechnique de Grenoble Institution300275
INPG46 avenue Félix Viallet 38031 Grenoble Cedex 1IdRef : 026388804FranceDate de fermeture/fusion : dimanche 31 décembre 2006
UMR5217
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