Laboratoire spécification et vérification

Le Laboratoire spécification et vérification (LSV) était le laboratoire de recherche en informatique de l'ENS Paris-Saclay. Au 1^er janvier 2021, il a fusionné avec une partie du Laboratoire de recherche en informatique pour devenir le Laboratoire Méthodes Formelles.

Laboratoire Spécification et Vérification

Logotype du LSV.

Histoire
Fondation	1997
Dissolution	1^er janvier 2021
Successeur	Laboratoire de méthodes formelles (d)

Cadre
Code	UMR 8643
Type	Institut de recherche, unité mixte de recherche
Domaine d'activité	Informatique
Siège	Cachan (61, avenue du Président Wilson)
Pays	France
Coordonnées	48° 47′ 31″ N, 2° 19′ 55″ E

Organisation
Organisations mères	École normale supérieure Paris-Saclay Institut national de recherche en informatique et en automatique Institut des sciences de l'information et de leurs interactions
Affiliation	CNRS et ENS Paris-Saclay
Site web	www.lsv.ens-cachan.fr

Le LSV est créé en 1997[1] et il est associé au Centre national de la recherche scientifique depuis janvier 1997.

Il compte aujourd'hui^[Quand ?] dix-neuf membres permanents, environ autant de doctorants, ainsi que plusieurs membres associés.

Liens externes

Site officiel
Ressources relatives à la recherche :
- Centre national de la recherche scientifique
- ScanR
Notices d'autorité :
(fr) Site officiel
(fr) Site officiel (format court)

Notes et références

.

Portail de l’informatique
Portail des grandes écoles

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] .