202123712M : LMF Laboratoire Méthodes Formelles
- Unité de recherche
Responsables
Directeur - Evelyne CONTEJEAN à partir du 01/01/2026evelyne.contejean@lmf.cnrs.fr
Directeur-adjoint - Benedikt BOLLIG à partir du 01/01/2026
benedikt.bollig@lmf.cnrs.fr
Adresse : ENS PARIS-SACLAY - 4 avenue des Sciences 91190 GIF-SUR-YVETTE
Site : https://lmf.cnrs.fr/
Descriptif :
Aucun
Ecole(s) doctorale(s) de rattachement :
non renseignée
Rattachée au(x) thème(s) de recherche suivant(s):
non renseigné
Liens avec d'autres structures :
Regroupe :
Regroupe :
- Unité propre 201121007R - DEDUCTEAM (lien non exclusif)
- Unité propre 201221053L - Certified Programs, Certified Tools, Certified Floating-Point Computations (lien non exclusif)
Contact: dir@lsv.fr
Année de création : 2021
Site ESR :
Aucun
Classement scientifique ERC :
non renseigné.
Domaine scientifique :
- 9 : Sciences et technologies de l'information et de la communication 2021
|
CNRS
-
Centre national de la recherche scientifique
SIRET: 18008901303720 (UMR 9021) (établissement tutelle à partir de 2021) |
Etablissement référent |
|
ENS Paris-Saclay
-
Ecole normale supérieure Paris-Saclay
SIRET: 19940607500036 (établissement tutelle à partir de 2021) |
|
|
U PARIS-SACLAY
-
Université Paris-Saclay
SIRET: 13002602400054 (établissement tutelle à partir de 2021) |
|
|
INRIA
-
Institut national de la recherche en informatique et automatique
SIRET: 18008904700013 (établissement participant à partir de 2021) |
|
|
CENTRALESUPELEC
-
CentraleSupélec
SIRET: 13002076100016 (établissement participant à partir de 2021) |
-
Filiation
Structure(s) mère(s) :- 199812967H - Laboratoire Spécification et Vérification (éclatement - fusion)
- 199812948M - Laboratoire de Recherche en Informatique (éclatement - fusion)
-
Libellé(s) de structure
- 07/01/2021 : LMF
-
Responsable
- 01/01/2021 - 31/12/2025 : Evelyne CONTEJEAN (directrice adjointe)
- 01/01/2021 - 31/12/2025 : Patricia BOUYER-DECITRE (DIR)
-
Label et Numéro d'établissement
-
07/01/2021 : UMR 9021
CNRS - Centre national de la recherche scientifique (UMR 9021)
-
07/01/2021 : UMR 9021