[timeout:300][out:json]; ( node(around:1000,48.71250,2.16840)[indoor][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,48.71250,2.16840)[indoor][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,48.71250,2.16840)[indoor][~"^(addr:housenumber|.*name.*)$"~".",i]; node(around:1000,48.71250,2.16840)["amenity"="research_institute"][~"^(addr:housenumber|.*name.*)$"~".",i]; way(around:1000,48.71250,2.16840)["amenity"="research_institute"][~"^(addr:housenumber|.*name.*)$"~".",i]; rel(around:1000,48.71250,2.16840)["amenity"="research_institute"][~"^(addr:housenumber|.*name.*)$"~".",i]; ); out center tags;
Le Laboratoire de recherche en informatique (LRI) était une unité mixte de recherche (UMR 8623) d'informatique fondamentale et appliquée appartenant à l'université Paris-Saclay et au Centre national de la recherche scientifique (CNRS) dont le directeur était Yannis Manoussakis jusqu'au 31/12/2019 puis Johanne Cohen en 2020. Au , 7 équipes du LRI ont créé le Laboratoire interdisciplinaire des sciences du numérique (LISN) avec les équipes du LIMSI. La huitième équipe a rejoint les équipes du Laboratoire spécification et vérification pour créer le Laboratoire Méthodes Formelles (LMF).
no matches found
interior space (Q1299240) | indoor |
room (Q180516) | room |
research institute (Q31855) | amenity=research_institute |