Valda — Valeur à partir des données
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
Séminaire Valda : Silviu Maniu
Silviu Maniu, Université Paris-Sud 7 février 2020, 10:30-11:30 ENS, S16 An Experimental Study of the Treewidth of Real-World Data