# Laboratoire Spécification et Vérification

> LSV is the computer Science laboratory of ENS Cachan

**Wikidata**: [Q3214388](https://www.wikidata.org/wiki/Q3214388)  
**Source**: https://4ort.xyz/entity/laboratoire-specification-et-verification

## Summary
Laboratoire Spécification et Vérification (LSV) was the computer science laboratory of ENS Cachan, established in 1998 and classified as a French UMR (Unité Mixte de Recherche). Located in Cachan, France, the research institute operated as a joint entity under major national organizations until its dissolution on January 1, 2021.

## Key Facts
- **Inception:** Founded in 1998.
- **Dissolution:** The laboratory was dissolved, abolished, or demolished on January 1, 2021.
- **Location:** Located in Cachan, France, at 61 Avenue du Président-Wilson.
- **Coordinates:** Situated at latitude 48.79194 and longitude 2.33194.
- **Classification:** Defined as a research institute and a French UMR (Unité Mixte de Recherche).
- **CNRS ID:** Identified as CNRS research group UMR8643.
- **Parent Organizations:** Operated under the École normale supérieure Paris-Saclay, the Institut National de Recherche en Informatique et en Automatique (Inria), and the Institute of Information Sciences and their Interactions.
- **Identifiers:** Holds multiple administrative IDs including ROR (01kz1bj67), GRID (grid.464035.0), ISNI (000000012063800X), VIAF (171632125), and IDREF (175659761).
- **HAL Structure ID:** Registered in the HAL open archive system with structure ID 2571.
- **French National ID:** Assigned the French national research structure ID 199812967H.
- **Library of Congress:** Listed with the Library of Congress authority ID no2011089715.
- **Ringgold ID:** Identified by Ringgold ID 129834.
- **Aliases:** Also known as LSV or Laboratoire Specification et Verification.
- **Related Personnel:** Associated with French computer scientist Serge Abiteboul.

## FAQs
**When was the laboratory active?**
The laboratory was established in 1998 and remained active until it was dissolved on January 1, 2021.

**Where was Laboratoire Spécification et Vérification located?**
It was headquartered in Cachan, France, specifically at 61 Avenue du Président-Wilson.

**What organizations managed or oversaw the laboratory?**
The laboratory was a subsidiary or unit under the École normale supérieure Paris-Saclay, the Institut National de Recherche en Informatique et en Automatique (Inria), and the Institute of Information Sciences and their Interactions.

**What type of research institution was it?**
It was a computer science laboratory classified as a French UMR (Unité Mixte de Recherche) with the specific group ID UMR8643.

**What are the key identifiers for this entity in academic databases?**
The entity is indexed under ROR ID 01kz1bj67, GRID ID grid.464035.0, ISNI 000000012063800X, and VIAF ID 171632125.

## Why It Matters
Laboratoire Spécification et Vérification served as a critical node in the French computer science research landscape, functioning as a Unité Mixte de Recherche (UMR). This status indicates a high level of integration and collaboration between the French National Centre for Scientific Research (CNRS) and higher education institutions like ENS Paris-Saclay. By hosting research under the umbrella of major entities such as Inria and the Institute of Information Sciences and their Interactions, LSV facilitated advanced study in specification and verification, contributing to the broader scientific community's understanding of formal methods and computer science for over two decades.

## Notable For
- Being the dedicated computer science laboratory for ENS Cachan.
- Holding the status of a French UMR (Unité Mixte de Recherche) under the identifier UMR8643.
- Operating as a joint research unit involving Inria and the Institute of Information Sciences and their Interactions.
- Association with notable computer scientist Serge Abiteboul.
- Possessing a comprehensive set of global and national identifiers, including ISNI, VIAF, ROR, and GRID IDs.

## Body

### History and Status
Laboratoire Spécification et Vérification (LSV) was founded in 1998. It functioned as a specialized research institute for computer science for over two decades. The laboratory ceased operations on January 1, 2021, marking the end of its tenure as an active research entity.

### Organizational Structure
The laboratory was structured as a French UMR (Unité Mixte de Recherche), specifically designated as UMR8643. This classification denotes a joint research unit supported by multiple parent organizations. LSV operated under the oversight of three primary institutions:
*   **École normale supérieure Paris-Saclay:** A French Grande École and the primary academic affiliate.
*   **Institut National de Recherche en Informatique et en Automatique (Inria):** The national research institution dedicated to computer science.
*   **Institute of Information Sciences and their Interactions:** An additional research oversight body.

### Location and Facilities
The laboratory was physically located in Cachan, France. Its headquarters were situated at 61 Avenue du Président-Wilson, with the postal code 94235. The geographic coordinates for the facility are 48.79194 latitude and 2.33194 longitude.

### Identifiers and Metadata
LSV maintained a robust presence in academic and administrative databases, reflected by its numerous identifiers:
*   **ISNI:** 000000012063800X
*   **ROR ID:** 01kz1bj67
*   **GRID ID:** grid.464035.0
*   **VIAF ID:** 171632125
*   **IDREF ID:** 175659761
*   **HAL Structure ID:** 2571
*   **Ringgold ID:** 129834
*   **Library of Congress ID:** no2011089715
*   **French National Research Structure ID:** 199812967H

### Related Entities
The laboratory is associated with prominent figures in the field of computer science. Specifically, **Serge Abiteboul**, a French computer scientist born in 1953, is listed as a related entity. Abiteboul is recognized for his occupations as a computer scientist, university teacher, and researcher.

## References

1. GRID Release 2017-01-10
2. Virtual International Authority File
3. French National Directory of Research Structures
4. Aligned ISNI and Ringgold identifiers for institutions
5. HAL