Types and Reasoning for the Web Équipe de recherche1043326
TYREXCentre de recherche Inria
655 avenue de l'Europe
38330 Montbonnot Saint-MartinRNSR : 201221059TFrancehttp://www.inria.fr/equipes/tyrexDate de création : mercredi 1 janvier 2020
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 Laboratoire1043301
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
Tél. : 04 57 42 14 00IdRef : 148425550ISNI : 0000 0001 2286 4035RNSR : 200711886UROR : https://ror.org/01c8rcg82Francehttp://www.liglab.fr/Date de création : mercredi 1 janvier 2020
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