Laboratoire Spécification et Vérification

Summary

Laboratoire Spécification et Vérification is a research institute^[1]. It is known by 5 alternative names across languages and contexts.^[2]

Key Facts

• Laboratoire Spécification et Vérification is located in Cachan^[3].
• Laboratoire Spécification et Vérification is in the country of France^[4].
• Laboratoire Spécification et Vérification's instance of is recorded as research institute^[5].
• Laboratoire Spécification et Vérification's instance of is recorded as French UMR^[6].
• Laboratoire Spécification et Vérification's headquarters location is recorded as Cachan^[7].
• January 1, 1998 marks the founding of Laboratoire Spécification et Vérification^[8].
• Laboratoire Spécification et Vérification was dissolved in January 1, 2021^[9].
• Laboratoire Spécification et Vérification's coordinate location is recorded as {'lat': 48.79194, 'lon': 2.33194}^[10].
• Laboratoire Spécification et Vérification's located on street is recorded as avenue du Président-Wilson^[11].
• Laboratoire Spécification et Vérification's parent organization or unit is recorded as École normale supérieure Paris-Saclay^[12].
• Laboratoire Spécification et Vérification's parent organization or unit is recorded as Institut National de Recherche en Informatique et en Automatique^[13].
• Laboratoire Spécification et Vérification's parent organization or unit is recorded as Institute of Information Sciences and their Interactions^[14].
• Laboratoire Spécification et Vérification's official website is recorded as http://www.lsv.ens-cachan.fr/^[15].
• Laboratoire Spécification et Vérification's replaced by is recorded as Q109042513^[16].
• Laboratoire Spécification et Vérification's street address is recorded as {'lang': 'fr', 'text': '61 Av du président Wilson'}^[17].

Body

Founding

January 1, 1998 marks the founding of Laboratoire Spécification et Vérification^[8].

Operations

Laboratoire Spécification et Vérification's headquarters location is recorded as Cachan^[7]. Parent organizations include École normale supérieure Paris-Saclay^[12], an educational institution^[18], in France^[19], founded in 1912^[20], headquartered in Gif-sur-Yvette^[21]; Institut National de Recherche en Informatique et en Automatique^[13], a French public establishment of a scientific and technological character^[22], in France^[23], founded in 1967^[24], headquartered in Le Chesnay^[25]; and Institute of Information Sciences and their Interactions^[14], a research institute^[26], in France^[27], founded in 2009^[28].

Dissolution

Laboratoire Spécification et Vérification was dissolved in January 1, 2021^[9].

Why It Matters

Laboratoire Spécification et Vérification is known by 5 alternative names across languages and contexts.^[2]