202123712M : LMF Laboratoire Méthodes Formelles
- Unité de recherche
Responsables
Directeur - Patricia BOUYER-DECITRE à partir du 01/01/2021patricia.bouyer@lsv.fr
directrice adjointe - Evelyne CONTEJEAN à partir du 01/01/2021
evelyne.contejean@universite-paris-saclay.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)
- Unité propre 202124178U - Structures de calcul quantique (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
(UMR 9021)
(établissement tutelle à partir de 2021) |
Etablissement référent |
|
ENS Paris-Saclay
-
Ecole normale supérieure Paris-Saclay
(établissement tutelle à partir de 2021) |
|
|
U PARIS-SACLAY
-
Université Paris-Saclay
(établissement tutelle à partir de 2021) |
|
|
INRIA
-
Institut national de la recherche en informatique et automatique
(établissement participant à partir de 2021) |
|
|
CENTRALESUPELEC
-
CentraleSupélec
(é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
-
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