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 |