Laboratoire spécification et vérification

Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Laboratoire Spécification et Vérification

Logotype du LSV.

Histoire

Fondation	1997
Dissolution	1er 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 Inria Institut des sciences de l'information et de leurs interactions (d)
Affiliation	CNRS et ENS Paris-Saclay
Site web	www.lsv.ens-cachan.fr

modifier - modifier le code - modifier Wikidata

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.

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.

• Site officiel
• Ressources relatives à la recherche :
  • Centre national de la recherche scientifique
  • ScanR
• Notices d'autorité :

  • VIAF
  • ISNI
  • IdRef
  • LCCN
  • WorldCat
• (fr) Site officiel
• (fr) Site officiel (format court)

• Portail de l’informatique
• Portail des grandes écoles