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
