| 9:00-9:15 | Welcome | |
| 9:15-10:15 | Invited talk | A Toolbox of Query Evaluation Techniques for Probabilistic Databases Dan Olteanu |
| 10:15-10:30 | Short break | |
| 10:30-11:00 | Full Satisfiability of UML Class Diagrams Alessandro Artale, Diego Calvanese and Angelica Ibañez-García |
|
| 11:00-11:30 | Optimal Reflection of Bidirectional View Updates using Information-Based Distance Measures Stephen Hegner |
|
| 11:30-12:00 | A Classification Scheme for Update Propagation Methods in Deductive Databases Andreas Behrend |
|
| 12:00-12:30 | Comparing Availability in Controlled Query Evaluation Using Unordered Query Evaluation for Known Potential Secrets George Voutsadakis |
|
| 12:30-13:30 | Lunch | |
| 13:30-14:30 | Invited talk | Tractable Query Answering
over Conceptual Schemata Andrea CalÌ |
| 14:30-15:00 | Data Dependencies for Access Control Policies Romuald Thion and Stéphane Coulondre |
|
| 15:00-15:30 | Break | |
| 15:30-16:00 | CQQL: A Quantum Logic-Based Extension of the
Relation Domain Calculus Sebastian Lehrack, Ingo Schmitt and Sascha Saretz |
|
| 16:00-16:30 | Towards Automatic Schema Mapping Verification Through Reasoning Paolo Cappellari and Denilson Barbosa |
|
| 16:30-17:45 | The future: The need for a forum for Logic in Databases Concluding remarks | |
| . . . | ||
| Evening | Informal workshop dinner at Restaurant Bryggergården | |