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 |