Laboratoire spécification et vérification

Article de Wikipédia avec notice d'autoritéArticle géolocalisé en FranceArticle utilisant l'infobox OrganisationArticle utilisant le modèle Dictionnaires inactifArticle utilisant une Infobox ... et 5 plus

Article à illustrer OrganisationLaboratoire d'informatique en FrancePage avec des cartesPage pointant vers des bases externesPage pointant vers des bases relatives à la recherche

Le Laboratoire spécification et vérification (LSV) était le laboratoire de recherche en informatique de l'ENS Paris-Saclay. Au 1er 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 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.

Extrait de l'article de Wikipedia Laboratoire spécification et vérification (Licence: CC BY-SA 3.0, Auteurs, Matériel visuel / Photos).

Laboratoire spécification et vérification
Rue des Deux Frères, L'Haÿ-les-Roses

Coordonnées géographiques (GPS) Adresse Lieux à proximité
placeAfficher sur la carte

Continuer à lire sur Wikipedia

Coordonnées géographiques (GPS)

Latitude	Longitude
N 48.79194 °	E 2.33194 °

placeAfficher sur la carte

Adresse

Rue des Deux Frères
94230 L'Haÿ-les-Roses
Île-de-France, France
mapOuvrir sur Google Maps

Lieux à proximité

Canton de Cachan

Le canton de Cachan est une circonscription électorale française située dans le département du Val-de-Marne et la région Île-de-France. À la suite du redécoupage cantonal de 2014, les limites territoriales du canton sont remaniées. Le nombre de communes du canton passe de une à deux.

Cachan

Cachan est une commune française située dans le département du Val-de-Marne en région Île-de-France. Ses habitants sont appelés les Cachanais.

Aqueduc du Loing et du Lunain

L'aqueduc du Loing et du Lunain est un aqueduc situé à Cachan en région parisienne.

Maison Eyrolles

La maison Eyrolles est une maison située à Cachan, inscrite aux monuments historiques depuis 1997. L'édifice est situé au 28, avenue du Président-Wilson, dans le campus de l'École spéciale des travaux publics, du bâtiment et de l'industrie de Cachan, dans le département du Val-de-Marne.

Église Sainte-Germaine de Cachan

L'église Sainte-Germaine de Cachan est une église paroissiale située dans la commune de Cachan, au 38 avenue Dumotel. Elle est dédiée à sainte Germaine de Pibrac. C'est la première église de la commune (la paroisse avait été érigée en 1931), et fut construite dans le cadre de l'Œuvre des Chantiers du Cardinal. La première pierre est posée le 19 octobre 1929 et les travaux sont achevés en 1934.

Hôtel de ville de Cachan

L'hôtel de ville de Cachan est la mairie de la commune de Cachan dans le Val-de-Marne, en France. Il s'agit également d'un monument historique.

Rue de Provigny (Cachan)

La rue de Provigny est une voie de communication de Cachan, en France.

Arcueil - Cachan (métro de Paris)

Arcueil - Cachan est une future station de la ligne 15 du métro de Paris. Située à proximité de la gare d'Arcueil - Cachan, elle assurera la correspondance entre la ligne 15 et la ligne B du RER.

Cimetière de Cachan

Le cimetière de Cachan est le cimetière municipal de la ville de Cachan dans la banlieue parisienne du Val-de-Marne. Il est dominé par l'aqueduc Médicis, le long de la rue du Chemin-de-Fer, et est bordé au sud par l'avenue Carnot.

Château des Arcs

Le château des Arcs est un château français situé sur la commune de Cachan dans le Val-de-Marne au sein de la région Île-de-France. Il est aussi connu sous les noms de Fief des Arcs, Château de Provigny et Maison Renaissance

Aqueducs d'Arcueil et de Cachan

Les aqueducs d'Arcueil et de Cachan sont un ensemble d'aqueducs à la limite d'Arcueil et de Cachan dans le Val-de-Marne qui traverse, à l'endroit d'un éperon, la vallée de la Bièvre. Ces aqueducs transportent les eaux de trois rivières : la Vanne, le Loing et le Lunain, rivières du bassin de la Seine et parcourant chacune entre 60 et 160 km en Bourgogne, Champagne et Gâtinais. C'est ainsi que se superposent pas moins de trois ponts-aqueducs dont deux fonctionnent toujours et amènent à la capitale 145 000 m3 d'eau par jour.

Rue du Chemin-de-Fer (Arcueil et Cachan)

La rue du Chemin-de-Fer est une voie de communication limitrophe d'Arcueil et de Cachan, dans le département du Val-de-Marne, en France.