17:00 - 18:30 Pre-registration

19:00 - 24:00 Reception at the Weinegalerie

23.July.2009

09:30 - 10:45 Invited Talk

Mark Reynolds. Dense Time Reasoning via Mosaics

10:45 - 11:00 Coffee Breaks

11:00 - 12:30 Session: CTL

11:00 - 11:30 Olaf Beyersdorff, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas and Heribert Vollmer. Model Checking CTL is Almost Always Inherently Sequential

11:30 -12:00 Catalin Dima. Positive and negative results on the decidability of the model-checking problem for an epistemic extension of Timed CTL

12:00 - 12:30 John McCabe-Dansted, Tim French, Mark Reynolds and Sophie Pinchinat. On the Expressivity of RoCTL*

14:00 - 15:30 Session: Temporal Databases

14:00 - 14:30 Carlo Zaniolo. Event-Oriented Data Models and Query Languages in Transaction-Time Databases

14:30 - 15:00 Véronique Bruyère, Alexandre Decan and Jef Wijsen. On First-Order Query Rewriting for Incomplete Database Histories

15:00 - 15:30 Daniele Riboni, Linda Pareschi, Claudio Bettini and Sushil Jajodia. Preserving Anonymity of Recurrent Location-based Queries

15:45 - 17:15 Session: Temporal Logic Foundations

15:45 - 16:15 Michael Ludwig and Ullrich Hustadt. Resolution-Based Model Construction for PLTL

16:15 - 16:45 Szabolcs Mikulas, Tim French and Mark Reynolds. Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time

16:45 - 17:15 Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari and Guido Sciavicco. On the Undecidability of Interval Temporal Logics with the Overlap Modality

09:30 - 10:45 Invited Talk

Serge Abiteboul. The AXML Artifact Model

10:45 - 11:00 Coffee Breaks

11:00 - 12:30 Session: Temporal Logic Extensions

11:00 - 11:30 Yasmina Abdeddaim, Eugene Asarin and Mihaela Sighireanu. Simple Algorithm for Simple Timed Games

11:30 - 12:00 Carlo Combi and Sara Degani. Building Logical Specifications of Temporal Granularities through Algebraic Operators

12:00 - 12:30 Roger Villemaire and Sylvain Hallé. Strong Temporal, Weak Spatial Logic for Rule Based Filters

14:00 - 15:00 Session: Natural Language and Algebraic Approaches

14:00 - 14:30 Tommaso Caselli, Felice Dell'Oreletta and Irina Prodanof. Temporal Relations with Signals: the case of Italian Temporal Prepositions

14:30 - 15:00 Ivo Düntsch and Michael Winter. Timed Contact Algebras

15:15 - 16:45 Panel

16:45 - 17:45 Steering Committee Meeting

19:00 - 24:00 Social Dinner at "The Elephant" Restaurant

25.July.2009

09:30 - 10:45 Invited Talk

Michael Zakharyaschev. Temporalising Logics

10:45 - 11:00 Coffee Breaks

11:00 - 12:30 Session: Interval Algebra

11:00 - 11:30 André Trudel. Interval Algebra Networks with Infinite Intervals

11:30 - 12:00 Silvana Badaloni and Marco Falda. Classical and Fuzzy Conceptual Neighborhood Relations of the Temporal Qualitative Algebra

12:00 - 12:30 Luke Hunsberger. Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies