Conference program

Day 1: Monday, June 16, 2008

8.45 - 9: Welcome

Chair: Roger Villemaire

9-10: Keynote 1: Carsten Lutz

Chair: Alessandro Artale

Temporal Description Logics: A Survey: Carsten Lutz, Frank Wolter, Michael Zakharyashev

10.30-12: Paper Session 1: Computational Complexity and Decidability

The complexity of CARET + Chop: Laura Bozzelli
Good friends are hard to find!: Thomas Brihaye, Mohamed Ghannem, Nicolas Markey, Lionel Rieg
Regarding Overlapping as a Basic Concept of Subset Spaces: Bernhard Heinemann

12-13.30: Lunch

13.30-15: Paper Session 2: Spatio-Temporal Data Management

Towards a Formal Framework for Spatio-Temporal Granularities: Gabriele Pozzani, Carlo Combi, Alberto Belussi
Representing Public Transport Schedules as Repeating Trips: Romans Kasperovics, Michael Boehlen, Johann Gamper
Moving Spaces: Michael Winter, Ivo Duentsch

15.30-16.30: Paper Session 3: Temporal Reasoning on Tree-like Structures

A Heuristic Approach to Order Events in Narrative Texts: Farid Nouioua
Satisfying a Fragment of XQuery by Branching-Time Reduction: Sylvain Hallé, Roger Villemaire

16.45-18.15: Panel

9-10: Keynote 2: Ravi Kanth V. Kothuri

Chair: Christian S. Jensen

Using Oracle Extensibility Framework for Supporting Temporal and Spatio-Temporal Applications: Ravi Kanth V. Kothuri, Bob Hanckel, Aravind Yalamanchi

10.30-12: Paper Session 4: Query Processing and Data Mining

Efficient Similarity Join of Large Sets of Moving Object Trajectories: Hui Ding, Goce Trajcevski, Peter Scheuermann
A Greedy Approach Towards Parsimonious Temporal Aggregation: Juozas Gordevicius, Johann Gamper, Michael Boehlen
Time Aware Mining of Itemsets: Bashar Saleh, Florent Masseglia

12-13.30: Lunch

13.30-15: Paper Session 5: Proof Systems for Temporal Reasoning

A Labeled Tableaux System for the Distributed Temporal Logic DTL: Luca Vigano, David Basin, Carlos Caleiro, Jaime Ramos
An optimal tableau for Right Propositional Neighborhood Logic over trees: Pietro Sala, Davide Bresolin, Angelo Montanari
Labeled Natural Deduction Systems for a Family of Tense Logics: Luca Vigano, Marco Volpe

15.30-16.30: Paper Session 6: Planning

Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems: Yuechang Liu, Yunfei Jiang
TLP-GP : solving temporally-expressive planning problems: Frederic Maris, Pierre Regnier

(16.30-17.30: TIME Business meeting)

18.30-: Social program, including banquet

10-11: Keynote 3: James Worrell

Chair: Stéphane Demri

11.30-13: Paper Session 7: Verification of Infinite-State Systems

Decomposition of Decidable First-Order Logics over Integers and Reals: Florent Bouchy, Jérôme Leroux, Alain Finkel
Practical First-Order Temporal Reasoning: Michael Fisher, Clare Dixon, Alexei Lisitsa, Boris Konev
Efficient Bit-Level Model Reductions for Automated Hardware Verification: Sergey Tverdyshev, Eyad Alkassar

13-13.30: Closing Session