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].
• Laboratoire Spécification et Vérification's ISNI is recorded as 000000012063800X^[8].
• Laboratoire Spécification et Vérification's VIAF cluster ID is recorded as 171632125^[9].
• Laboratoire Spécification et Vérification's Library of Congress authority ID is recorded as no2011089715^[10].
• Laboratoire Spécification et Vérification's IdRef ID is recorded as 175659761^[11].
• +1998-01-01T00:00:00Z marks the founding of Laboratoire Spécification et Vérification^[12].
• Laboratoire Spécification et Vérification was dissolved in +2021-01-01T00:00:00Z^[13].
• Laboratoire Spécification et Vérification's coordinate location is recorded as {'lat': 48.79194, 'lon': 2.33194}^[14].
• Laboratoire Spécification et Vérification's located on street is recorded as avenue du Président-Wilson^[15].
• Laboratoire Spécification et Vérification's parent organization or unit is recorded as École normale supérieure Paris-Saclay^[16].
• Laboratoire Spécification et Vérification's parent organization or unit is recorded as Institut National de Recherche en Informatique et en Automatique^[17].
• Laboratoire Spécification et Vérification's parent organization or unit is recorded as Institute of Information Sciences and their Interactions^[18].
• Laboratoire Spécification et Vérification's official website is recorded as http://www.lsv.ens-cachan.fr/^[19].
• Laboratoire Spécification et Vérification's replaced by is recorded as Q109042513^[20].
• Laboratoire Spécification et Vérification's GRID ID is recorded as grid.464035.0^[21].
• Laboratoire Spécification et Vérification's French national research structure ID is recorded as 199812967H^[22].
• Laboratoire Spécification et Vérification's Ringgold ID is recorded as 129834^[23].
• Laboratoire Spécification et Vérification's CNRS research group ID is recorded as UMR8643^[24].
• Laboratoire Spécification et Vérification's street address is recorded as {'lang': 'fr', 'text': '61 Av du président Wilson'}^[25].
• Laboratoire Spécification et Vérification's HAL structure ID is recorded as 2571^[26].
• Laboratoire Spécification et Vérification's ROR ID is recorded as 01kz1bj67^[27].

Body

Founding

+1998-01-01T00:00:00Z marks the founding of Laboratoire Spécification et Vérification^[12].

Operations

Laboratoire Spécification et Vérification's headquarters location is recorded as Cachan^[7]. Parent organizations include École normale supérieure Paris-Saclay^[16], an educational institution^[28], in France^[29], founded in 1912^[30], headquartered in Gif-sur-Yvette^[31]; Institut National de Recherche en Informatique et en Automatique^[17], a French public establishment of a scientific and technological character^[32], in France^[33], founded in 1967^[34], headquartered in Le Chesnay^[35]; and Institute of Information Sciences and their Interactions^[18], a research institute^[36], in France^[37], founded in 2009^[38].

Dissolution

Laboratoire Spécification et Vérification was dissolved in +2021-01-01T00:00:00Z^[13].

Why It Matters

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