Valda — Valeur à partir des données

Séminaire Valda : Meghyn Bienvenu
Meghyn Bienvenu, CNRS, Université de Bordeaux 18 décembre 2020, 10:30-11:30 Séminaire en ligne : https://bbb.di.ens.fr/b/cam-pz6-kdj Preferred repairs over inconsistent knowledge bases and connections to argumentation
Séminaire Valda : Val Tannen
Val Tannen, University of Pennsylvania 21 Février 2020, 10:00-11:00 ENS, S16 Provenance Analysis for First-order Model Checking
Séminaire Valda: Nofar Carmeli
Nofar Carmeli, Technion, Israel Institute of Technology 28 Février 2020, 10:30-11:30 ENS, S16 The Complexity of Answering Unions of Conjunctive Queries
Séminaire Valda: Evgenia Ternovska
Evgenia (Eugenia) Ternovska Associate Professor | School of Computing Science Simon Fraser University 8888 University Dr., Burnaby, B.C. V5A 1S6 13 Février 2020, 10:30-11:30 ENS, S16 Logic of Information Flows: Expressing Reachability and Cardinality Properties