Ministère de l'Enseignement Supérieur, de la Recherche et de l'Innovation

Ministère de l'Enseignement Supérieur,
de la Recherche et de l'Innovation

rnSr

202123712M : LMF Laboratoire Méthodes Formelles 
Unité de recherche   (situation 2024) 

Responsable(s)

Directrice - Patricia BOUYER-DECITRE à partir du 01/01/2021 ( patricia.bouyer@lsv.fr )
directrice adjointe - Evelyne CONTEJEAN à partir du 01/01/2021 ( evelyne.contejean@universite-paris-saclay.fr )

Etablissements.
ENS Paris-Saclay ENS Paris-Saclay - Ecole normale supérieure Paris-Saclay ( )
(établissement tutelle à partir de 2021)
CNRS CNRS - Centre national de la recherche scientifique (UMR 9021)
(établissement tutelle à partir de 2021)
Etablissement référent
U PARIS-SACLAY U PARIS-SACLAY - Université Paris-Saclay ( )
(établissement tutelle à partir de 2021)
INRIA INRIA - Institut national de la recherche en informatique et automatique ( )
(établissement participant à partir de 2021)
CENTRALESUPELEC CENTRALESUPELEC - CentraleSupélec ( )
(établissement participant à partir de 2021)
Adresse
ENS Paris-Saclay, 4 avenue des Sciences
91190 GIF-SUR-YVETTE
   Contact
  courriel : dir@lsv.fr
Site web : lmf@cnrs.fr
Taille en ETP (sans compter les stagiaires): non renseignée.
Descriptif : Aucun.
Année de création : 2021
Mission de la structure : Recherche
Mode de gestion de la structure : Délégation globale de gestion
SIRET de la structure : Non renseigné.
Classement scientifique ERC
Non renseigné
Domaine scientifique
 - 9 : Sciences et technologies de l'information et de la communication 2021 0
Ecole(s) doctorale(s) de rattachement
Non renseigné
Rattachée au(x) programme(s) LOLF suivant(s):
Non renseigné
Rattachée au(x) thème(s) de recherche suivant(s):
Non renseigné
Origine de la structure
éclatement - fusion en 2021 de :
 -  199812948M - Laboratoire de Recherche en Informatique
 -  199812967H - Laboratoire Spécification et Vérification
Liens avec d'autres structures :
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)
Site ESR :
Aucun.

Fiche mise à jour par Nathalie DUPUY le 15/10/2021 à 18:10