Laboratoire Méthodes Formelles Laboratoire1065710

LMF4, avenue des Sciences, 91190, Gif-sur-YvetteRNSR : 202123712MFranceDate 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

 Université Paris-Saclay Institution419361

Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-YvetteIdRef : 241345251ROR : https://ror.org/03xjwb503Francehttps://www.universite-paris-saclay.fr/fr

 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

 Ecole Normale Supérieure Paris-Saclay Institution523723

ENS Paris Saclay4 avenue des Sciences, 91190 Gif-sur-YvetteROR : https://ror.org/00hx6zz33Francehttp://ens-paris-saclay.fr/