199812967H : LSV Laboratoire Spécification et Vérification
- Unité de recherche
Responsables
Directeur - Stephane DEMRI à partir du 01/09/2015stephane.demri@lsv.fr
Directeur-adjoint - Patricia BOUYER-DECITRE à partir du 01/07/2010
Adresse : 61 Av du président Wilson 94235 CACHAN CEDEX
Descriptif :
Aucun
Ecole(s) doctorale(s) de rattachement :
- ED 580 - SCIENCES ET TECHNOLOGIES DE L'INFORMATION ET DE LA COMMUNICATION (STIC)
- ED 285 - SCIENCES PRATIQUES
Rattachée au(x) thème(s) de recherche suivant(s):
- Méthodes formelles
- Model-Checking
- Preuves
- Sécurité
Liens avec d'autres structures :
Aucun
Aucun
Contact: dir@lsv.ens-cachan.fr
Année de création : 1997
Année de fermeture : 2020
Site ESR :
Aucun
Classement scientifique ERC :
non renseigné.
Domaine scientifique :
- 9 : Sciences et technologies de l'information et de la communication 1998
|
ENS Paris-Saclay
-
Ecole normale supérieure Paris-Saclay
(UMR 8643)
(établissement tutelle à partir de 1997) |
Etablissement référent |
|
CNRS
-
Centre national de la recherche scientifique
(UMR 8643)
(établissement tutelle à partir de 1998) |
|
|
INRIA
-
Institut national de la recherche en informatique et automatique
(UMR 8643)
(établissement participant à partir de 2015) |
|
|
U PARIS-SACLAY
-
Université Paris-Saclay
(UMR 8643)
(établissement tutelle à partir de 2020) |
-
Filiation
Structure(s) fille(s) :- 202123712M - Laboratoire Méthodes Formelles (éclatement - fusion)
-
Libellé(s) de structure
- 26/02/2013 : LSV
- 26/02/2013 : LABORATOIRE SPECIFICATION ET VERIFICATION
-
Responsable
- 01/09/2015 - 01/09/2015 : Stéphane DEMRI (DIR)
- 01/09/2015 - 01/09/2015 : Stéphane DEMRI (DIR)
- 01/09/2011 - 31/08/2015 : Laurent FRIBOURG (DIR)
- 01/01/2006 - 31/08/2011 : Philippe SCHNOEBELEN (DIR)
- 01/01/2006 - 31/12/2009 : Philippe SCHNOEBELEN (DIR)
- 01/01/2000 - 31/12/2005 : Michel BIDOIT (DIR)
- 01/01/2000 - 31/12/2005 : Michel BIDOIT (DIR)
-
Label et Numéro d'établissement
-
18/09/2015 : UMR 8643
ENS Paris-Saclay - Ecole normale supérieure Paris-Saclay (UMR 8643) -
18/09/2015 : UMR 8643
CNRS - Centre national de la recherche scientifique (UMR 8643) -
18/09/2015 : UMR 8643
INRIA - Institut national de la recherche en informatique et automatique (UMR 8643)
-
18/09/2015 : UMR 8643
-
Classement scientifique ERC
- 2000 - 2009 : PE6- Computer science and informatics : informatics and information systems, computer science, scientific computing, intelligent systems