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

199812967H : LSV Laboratoire Spécification et Vérification 
Unité de recherche   (situation 2024) 

Responsable(s)

Directeur - Stephane DEMRI à partir du 01/09/2015 ( stephane.demri@lsv.fr )
Directrice-adjointe - Patricia BOUYER-DECITRE à partir du 01/07/2010

Etablissements.

ENS Paris-Saclay ENS Paris-Saclay - Ecole normale supérieure Paris-Saclay (UMR 8643)
(établissement tutelle à partir de 1997)
Etablissement référent
CNRS CNRS - Centre national de la recherche scientifique (UMR 8643)
(établissement tutelle à partir de 1998)
U PARIS-SACLAY U PARIS-SACLAY - Université Paris-Saclay (UMR 8643)
(établissement tutelle à partir de 2020)
INRIA INRIA - Institut national de la recherche en informatique et automatique (UMR 8643)
(établissement participant à partir de 2015)
Adresse
61 Av du président Wilson
94235 CACHAN CEDEX
  Contact
  courriel : dir@lsv.ens-cachan.fr
Site web : http://www.lsv.ens-cachan.fr/
Taille en ETP (sans compter les stagiaires): supérieure à 50.
Descriptif : Aucun.
Année de création : 1997
Mission de la structure : Non renseignée.
Mode de gestion de la structure : Non renseigné.
SIRET de la structure : Non renseigné.
Classement scientifique ERC
Non renseigné
Domaine scientifique
 - 9 : Sciences et technologies de l'information et de la communication 1998 0
Ecole(s) doctorale(s) de rattachement
 -  ED 580 - SCIENCES ET TECHNOLOGIES DE L'INFORMATION ET DE LA COMMUNICATION (STIC), depuis le 01/09/2015, fin d'accréditation le 31/12/2024
Rattachée au(x) programme(s) LOLF suivant(s):
Non renseigné
Rattachée au(x) thème(s) de recherche suivant(s):
Méthodes formelles; Model-Checking; Preuves; Sécurité;
Liens avec d'autres structures :
Regroupe :
 -  Unité propre 201121007R - DEDUCTEAM   (lien exclusif (appartenance complète))
Site ESR :
Aucun.

Fiche mise à jour par Sébastien COURTIAL le 14/03/2019 à 10:39