Base des structures de recherche Inria
Verification en bases de données
GEMO (SR0145VR) → DAHU → VALDA (SR0765JR)
Statut:
Terminée
Responsable :
Luc Segoufin
Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2024" :
Aucun mot-clé.
Mots-clés de "B - Autres sciences et domaines d'application - 2024" :
Aucun mot-clé.
Domaine :
Perception, Cognition, Interaction
Thème :
Représentation et traitement des données et des connaissances
Période :
01/01/2009 ->
31/12/2017
Dates d'évaluation :
11/10/2011 , 07/10/2015
Etablissement(s) de rattachement :
CNRS, ENS CACHAN
Laboratoire(s) partenaire(s) :
LSV (UMR8643)
CRI :
Centre Inria de Saclay
Localisation :
ENS Cachan - Laboratoire Spécification et Vérification (LSV)
Code structure Inria :
111019-1
Numéro RNSR :
200818998V
N° de structure Inria:
SR0226ER
La position est calculée automatiquement avec les informations dont nous disposons. Si la position n'est pas juste, merci de fournir les coordonnées GPS à web-dgds@inria.fr