Modeling and Exploitation of Interaction and Concurrency Équipe de recherche1066536
MEXICOENS Paris-Saclay, 4 avenue des Sciences, 91190, Gif-sur-YvetteRNSR : 200920937YFrancehttp://www.inria.fr/equipes/mexicoDate de création : vendredi 1 janvier 2021Date de fermeture/fusion : vendredi 30 juin 2023
Laboratoire Méthodes Formelles Laboratoire1065710
LMF4, avenue des Sciences, 91190, Gif-sur-YvetteIdRef : 25474589XRNSR : 202123712MROR : https://ror.org/00gdtta79Wikidata : Q109042513FranceDate de création : vendredi 1 janvier 2021
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
CentraleSupélec Institution411575
3, rue Joliot Curie,
Plateau de Moulon,
91192 GIF-SUR-YVETTE CedexIdRef : 184443237ROR : https://ror.org/019tcpt25Francehttp://www.centralesupelec.fr
ENS Paris Saclay4 avenue des Sciences, 91190 Gif-sur-YvetteROR : https://ror.org/00hx6zz33Francehttp://ens-paris-saclay.fr/
Centre Inria de l'Université Paris-Saclay Regroupement d'équipes1225627
9 Rue Joliot Curie, 91190 Gif-sur-YvetteROR : https://ror.org/040753f36FranceDate de création : mardi 1 novembre 2022
Centre Inria de Saclay Laboratoire118511
1 rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing
Campus de l'École Polytechnique
91120 PalaiseauRNSR : 200818248EROR : https://ror.org/0315e5x55Francehttp://www.inria.fr/centre/saclay
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