[TIME 2009]

16th International Symposium on
Temporal Representation and Reasoning (TIME-2009)

Brixen-Bressanone (near Bozen-Bolzano), Italy
23-25 July 2009


   
TIME 2009 Program
22.July.2009

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*
12:30 - 14:00 Lunch at "Traubenwirt" Restaurant

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:30 - 15:45 Coffee Breaks

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
24.July.2009

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
12:30 - 14:00 Lunch at "Traubenwirt" Restaurant

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:00 - 15:15 Coffee Breaks

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
12:30 - 14:00 Lunch at "Traubenwirt" Restaurant