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