Skip to content

Workshop Programme

for period 27 Feb-3 Mar

Logic and Databases

27 Feb-3 Mar

Timetable

Monday 27 February
08:30-09:30 Registration LAA
09:30-11:00 Neven, F (Limburg) LAA
  The automaton approach to XML schema languages: from practice to theory Sem 1
11:00-11:30 Coffee LAA
11:30-12:30 Suciu, D (Washington) LAA
  Probabilities in databases and in logics I Sem 1
12:30-13:30 Lunch at Churchill College LAA
14:00-15:00 Kolaitis, P (IBM Almladen) LAA
  Foundations of Schema mappings I Sem 1
15:00-15:30 Tea LAA
15:30-16:15 Sazonov, V (Liverpool) LAA
  Querying hyperset/web-like databases Sem 1
16:15-17:00 Lynch, J (Clarkson) LAA
  Concentration bounds for Markov processes of metafinite models Sem 1
17:00-17:45 Marx, M (Amsterdam) LAA
  XPath with transitive closure Sem 1
17:45-18:45 Beer and Wine Reception LAA
Tuesday 28 February
09:30-10:15 Bertossi, L (Carleton) LAA
  Cardinality-based semantics for consistent query answering: incremental and parameterized complexity Sem 1
10:15-11:00 Gottlob, G (Oxford) LAA
  Computational problems of data exchange Sem 1
11:00-11:30 Coffee LAA
11:30-12:30 Suciu, D (Washington) LAA
  Probabilities in databases and in logics II Sem 1
12:30-13:30 Lunch at Churchill College LAA
14:00-15:00 Kolaitis, P (IBM Almladen) LAA
  Foundations of Schema mappings II Sem 1
15:00-15:30 Tea LAA
15:30-16:15 Gardner, P (Imperial College London) LAA
  Context logic and tree update Sem 1
16:15-17:00 Katz, M (Haifa) LAA
  Approximation logic and databases Sem 1
17:00-17:45 Lindell, S (Haverford College) LAA
  A normal form for singulary logic over physically realizable data models Sem 1
Wednesday 01 March
09:15-10:15 Koch, C (Saarlandes) LAA
  Queries on tree-structured data: Logical languages and complexity Sem 1
10:15-11:00 Beeri, C (Hebrew) LAA
  BPQL - A query language for business processes Sem 1
11:00-11:30 Coffee LAA
11:30-12:30 Segoufin, L (INRIA) LAA
  Pebble tree walking automata and TC-logics on trees Sem 1
12:30-13:30 Lunch at Churchill College LAA
19:30-18:00 Conference Dinner in the New Senior Combination Room at Selwyn College LAA
Thursday 02 March
09:15-10:15 Schweikardt, N (Berlin) LAA
  The complexity of processing data streams and external memory data I Sem 1
10:15-11:00 Calvanese, D (Bozen-Bolzano) LAA
  Ontology mediated data management Sem 1
11:00-11:30 Coffee LAA
11:30-12:30 Vianu, V (California, San Diego) LAA
  Automatic verification of communicating data-aware web services Sem 1
12:30-13:30 Lunch at Churchill College LAA
14:00-15:00 Libkin, L (Toronto) LAA
  Database normalization revisited: an information-theoretic approach Sem 1
15:00-15:30 Tea LAA
15:30-16:15 Szeider, S (Durham) LAA
  On the clique-width of graphs Sem 1
16:15-17:00 Alechina, N (Nottingham) LAA
  Complete axiomatisation for PDLpath Sem 1
17:00-17:45 Arenas, M (PUC Chile) LAA
  Locally consistent transformations and query answering in data exchange Sem 1
Friday 03 March
09:15-10:15 Schweikardt, N (Berlin) LAA
  The complexity of processing data streams and external memory data Sem 1
10:15-11:00 Barcelo, P (Toronto) LAA
  Temporal logics for n-ary queries over XML documents Sem 1
11:00-11:30 Coffee LAA
11:30-12:30 Grohe, M (Humboldt-Universitat zu Berlin) LAA
  Law enforcement on hypergraphs Sem 1
Other Seminars
Seminars in the University
National and International Scientific Research Meetings

Back to top ∧