About: dbpedia-fr:Laboratoire_spécification_et

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Laboratoire_spécification_et_vérification Goto Sponge NotDistinct Permalink

An Entity of Type : geo:SpatialThing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdf:type	geo:SpatialThing
rdfs:label	Laboratoire spécification et vérification (fr)
rdfs:comment	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 . 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. (fr)
rdfs:seeAlso	http://isni.org/isni/0000_0001_2063_800X https://web-ast.dsi.cnrs.fr/l3c/owa/structure.infos_admin?&p_lab=UMR8643&p_origine_appel=u https://appliweb.dgri.education.fr/rnsr/PresenteStruct.jsp?numNatStruct=199812967H&PUBLIC=OK https://www.grid.ac/institutes/grid.464035.0
sameAs	wikidata:Q3214388 http://www.idref.fr/175659761/id http://viaf.org/viaf/171632125 https://id.loc.gov/authorities/names/no2011089715
Wikipage page ID	2746818 (xsd:integer)
Wikipage revision ID	190508473 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Laboratoire_d'informatique 1997 Cachan French National Centre for Scientific Research Computer science dbpedia-fr:Laboratoire_de_recherche_en_informatique Unité mixte de recherche École normale supérieure Paris-Saclay dbpedia-fr:Laboratoire_Méthodes_Formelles
Link from a Wikipage to an external page	http://www.lsv.ens-cachan.fr http://www.lsv.fr
page length (characters) of wiki page	1806 (xsd:nonNegativeInteger)
georss:point	48.79194 2.33194
dct:subject	category-fr:Laboratoire_d'informatique
foaf:homepage	http://www.lsv.ens-cachan.fr
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Date- dbpedia-fr:Modèle:Fr dbpedia-fr:Modèle:France dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Quand dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Ébauche dbpedia-fr:Modèle:Infobox_Laboratoire_de_recherche_scientifique
prov:wasDerivedFrom	wikipedia-fr:Laboratoire_spécification_et_vérification?oldid=190508473&ns=0
geo:lat	48.791939 (xsd:float)
geo:long	2.331940 (xsd:float)
foaf:depiction
prop-fr:code	UMR 8643 (fr)
prop-fr:création	1997 (xsd:integer)
prop-fr:géolocalisation	Île-de-France/France (fr)
prop-fr:latitude	48 (xsd:integer)
prop-fr:longitude	2 (xsd:integer)
prop-fr:siteWeb	http://www.lsv.ens-cachan.fr
prop-fr:localisation	61 (xsd:integer)
prop-fr:logo	LSV.jpg (fr)
prop-fr:ville	Cachan
prop-fr:logoTaille	60 (xsd:integer)
prop-fr:légendeLogo	Logotype du LSV. (fr)
prop-fr:rattachement	CNRS et ENS Paris-Saclay (fr)
prop-fr:domaines	Computer science
thumbnail	wiki-commons:Special:FilePath/LSV.jpg?width=300
foaf:isPrimaryTopicOf	wikipedia-fr:Laboratoire_spécification_et_vérification
geo:geometry	POINT(2.3319399356842 48.791938781738) POINT(2.3319399356842 48.791938781738)
has abstract	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 . 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. (fr)
dbo:city	Cachan
dbo:country	France
is dbo:wikiPageWikiLink of	dbpedia-fr:Lsv dbpedia-fr:Laboratoire_Spécification_et_Vérification dbpedia-fr:Amina_Doumane dbpedia-fr:Digiteo dbpedia-fr:LSV dbpedia-fr:Laboratoire_de_recherche_en_informatique dbpedia-fr:Patricia_Bouyer-Decitre École normale supérieure Paris-Saclay
is Wikipage redirect of	dbpedia-fr:Lsv dbpedia-fr:Laboratoire_Spécification_et_Vérification
is Wikipage disambiguates of	dbpedia-fr:LSV
is oa:hasTarget of	Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Laboratoire_spécification_et_vérification

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 15 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software