Conference program

Day 1: Monday, June 16, 2008

8 - 8.45: Registration
Registration will take place in the hall of the Sherbrooke building at Université du Québec à Montréal (UQAM), 200, Shrebrooke St. West (Google Map).
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
Chair: Johann Gamper
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
Chair: Boris Konev
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
Chair: Angelo Montanari
Most (and Least) Promising Temporal Research Topics and Technologies
Each panelist will present personal views on which existing or emerging temporal research topoics and technologies (within the general purview of TIME) are the most promising with respect to industrial or societal impact. Panelists are also encouraged to offer their personal views on research topics and technologies that may be considered less promising. Panel participants:
  • Carsten Lutz
  • Sean Wang
  • James Worrell

Day 2: Tuesday, June 17, 2008

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
Chair: Sean X. Wang
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
Chair: David Toman
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
Chair: Florent Masseglia
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

Day 3: Wednesday, June 18, 2008

10-11: Keynote 3: James Worrell
Chair: Stéphane Demri
Real-Time Model-Checking: Algorithms and Complexity
James Worrell
11.30-13: Paper Session 7: Verification of Infinite-State Systems
Chair: Angelo Montanari
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