Programme

16 November 2015

10:00-10:30 Arrival and coffee
10:30 - 12:45 Talks session
Michael Zakharyaschev: Islands of Tractability in Ontology-Based Data Access (slides)
Carsten Lutz: More on Islands of Tractability in Ontology-Based Data Access (slides)
Boris Motik: Querying Semantic Big Data And Its Applications (slides)
12:45 - 14:00 Lunch
14:00 - 15:30 Talks session
Georg Gottlob: The Logical Foundations of Web Data Extraction
Mikolaj Bojanczyk: Yet More Atoms (slides)
15:30 - 16:00 Coffee break
16:00 - 17:30 Discussion session
Description logics, Ontologies, Web data extraction
Chair: Anuj Dawar

17 November 2015

9:15-10:45 Talks session
Nikos Tzevelekos: Automata Over Infinite Alphabets: Investigations in Fresh-Register Automata (slides)
Miriam Dowle: Update on EPSRC activities in Data Science (slides)
10:45-11:15 Coffee break
11:15 - 12:45 Talks session
Leonid Libkin: SQL's logic of incompleteness: can it be fixed? (slides)
Diego Figueira: Path Logics for Querying Graphs: Combining Expressiveness and Efficiency (slides)
12:45 - 14:00 Lunch
14:00 - 16:00 Discussion session
Approximation and uncertainty, Graph data, Automata models
Chair: Richard Mayr
16:00 - 17:00 Coffee break