paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 184945623Copier cet identifiant (PPN)
Notice de type Collectivité

Point d'accès autorisé

Laboratoire Verimag (Grenoble)

Variantes de point d'accès

Unité Mixte de Recherche 5104
[Nom de collectivité]
UMR 5104
[Nom de collectivité]
UMR5104
[Nom de collectivité]
VERIMAG
[Nom de collectivité]

Information

Langue d'expression : français, anglais
Pays associé : France
Date de naissance : 1993

Notes

Note sur la biographie et les activités : 
Adresse : Bâtiment IMAG, 700, avenue centrale, 38401 Saint Martin d’Hères

Note sur la biographie et les activités : 
Membre de la fédération IMAG jusqu'en 2006

Identifiants externes

Identifiant RNSR : 199511789R
Identifiant ROR : 05afmzm11
Identifiant VIAF : http://viaf.org/viaf/315731972
Identifiant Wikidata : Q30262520
Identifiant HAL : 1043148
Identifiant HAL : 1041816
Identifiant HAL : 194
Identifiant ISNI : 0000000403827652

Source

Internet, https://appliweb.dgri.education.fr/annuaire/selectUr.jsp (Annuaire des formations doctorales et des unités de recherche), 2015-04-14

Information trouvée : LABORATOIRE VERIMAG, Unité de recherche UMR 5104. Etablissement principal Université Grenoble 1 ; co-accrédité INPG ; gestionnaire CNRS. Adresse : 2 avenue de vignate, 38610 Gières

Internet, www-verimag.imag.fr/, 2018-12-05

Information trouvée : Verimag (UMR 5104) a été créé en 1993 comme Unité Mixte CNRS/Verilog issu de l’équipe Spectre du laboratoire LGI ; depuis 1997, Verimag est une unité de recherche commune à l'UGA, CNRS-INS2I, INPG. Le laboratoire est organisé en 4 équipes : Synchrone, Langages Synchrones et Systèmes Réactifs ; Tempo, Systèmes Temporisés et Hybrides ; RSD, Rigorous System Design ; PACSS, Preuves et Analyses de Code pour la Sûreté et la Sécurité

Internet, www.aeres-evaluation.fr (rapport 2010), 2015-04-14

Information trouvée : VERIMAG, UMR 5104 CNRS/UJF/Grenble-INP. Fondé en 1992, composé de 4 équipes : Synchrone, DCS, Tempo, ISE

Internet, www2.cnrs.fr/sites/communique/fichier/fiche_verimag_2.pdf, 2018-12-05

Information trouvée : Créé en 1993, en tant qu’Unité Mixte industrielle entre le CNRS et la société Verilog (UMI CNRS/Verilog), il devient en 1997 Unité de Recherche du CNRS, de l’UJF et de l’INPG

RNSR, 2018-09-29

Information trouvée : 199511789R : VERIMAG VERIMAG, Unité de recherche UMR 5104 CNRS (depuis 1999)-UJF (2000-2015)-UGA (depui 2016)-INPG (depuis 2015). Création en 1999?

Répertoire national des structures de recherche RNSR, https://rnsr.adc.education.fr/structure/199511789R, consulté le 13/03/2024

Information trouvée : Directeur à partir du 01/01/2021 : David Monniaux.

... Références liées : ...