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

201020692C : VERIDIS Modeling and Verification of Distributed Algorithms and Systems
Unité de recherche (situation 2024)

Responsable(s)

- Stephan Merz à partir du 01/07/2012

Etablissements.
	INRIA - Institut national de la recherche en informatique et automatique (E ) (établissement tutelle à partir de 2010) Etablissement référent
	CNRS - Centre national de la recherche scientifique ( ) (établissement tutelle à partir de 2012)
	LORRAINE - Université de Lorraine ( ) (établissement tutelle à partir de 2012)

Adresse 54600 Villers lès Nancy	Contact courriel : stephan.merz@loria.fr
Site web : http://www.inria.fr/equipes/veridis
Taille en ETP (sans compter les stagiaires): non renseignée.
Descriptif : Aucun.
Année de création : 2010
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 2012 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 à : - Unité mixte 198912571S - Laboratoire lorrain de recherche en informatique et ses applications (lien non exclusif) - Structures Fédératives de Recherche 198618246Y - Centre Inria de l'Université de Lorraine (lien non exclusif)
Site ESR : Aucun.

Fiche mise à jour par Judicael Fondrevelle le 16/05/2024 à 15:40