Fiche d'une structure
VERIfication pour les systèmes DIStribués Équipe de recherche554178
VERIDIS615 rue du Jardin Botanique 54600 Villers-lès-Nancy RNSR : 201020692CFrancehttp://www.inria.fr/equipes/veridisDate de création : vendredi 1 janvier 2010Date de fermeture/fusion : samedi 30 juin 2012
Inria Nancy - Grand Est Laboratoire129671
615 rue du Jardin Botanique 54600 Villers-lès-NancyRNSR : 198618246YROR : https://ror.org/03fcjvn64Francehttp://www.inria.fr/nancy
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
UMR7503
Laboratoire Lorrain de Recherche en Informatique et ses Applications Laboratoire206040
LORIACampus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy CedexIdRef : 067077927ISNI : 0000000121795429RNSR : 198912571SIdUnivLorraine : [UL]RSI--ROR : https://ror.org/02vnf0c38Francehttp://www.loria.frDate de création : dimanche 1 janvier 2012
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
Université de Lorraine Institution413289
UL34 cours Léopold - CS 25233 - 54052 Nancy cedexIdRef : 157040569IdUnivLorraine : [UL]100--ROR : https://ror.org/04vfs2w97Francehttp://www.univ-lorraine.fr/Date de création : dimanche 1 janvier 2012 Structure verrouillée
UMR7503
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