15. TIME 2008: Monteéal, Canada

Keynotes

• Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
  Temporal Description Logics: A Survey. 3-14
  
• Kothuri Venkata Ravi Kanth, Robert Hanckel, Aravind Yalamanchi:
  Using Oracle Extensibility Framework for Supporting Temporal and Spatio-Temporal Applications. 15-18
  

Panel

• James Worrell:
  Real-Time Model Checking: Algorithms and Complexity. 19
  

Computational Complexity and Decidability

• Laura Bozzelli:
  The Complexity of CaRet + Chop. 23-31
  
• Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg:
  Good Friends are Hard to Find! 32-40
  
• Bernhard Heinemann:
  Regarding Overlapping as a Basic Concept of Subset Spaces. 41-45
  

Spatio-Temporal Data Management

• Alberto Belussi, Carlo Combi, Gabriele Pozzani:
  Towards a Formal Framework for Spatio-Temporal Granularities. 49-53
  
• Romans Kasperovics, Michael H. Böhlen, Johann Gamper:
  Representing Public Transport Schedules as Repeating Trips. 54-58
  
• Ivo Düntsch, Michael Winter:
  Moving Spaces. 59-63
  

Temporal Reasoning on Tree-like Structures

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

Query Processing and Data Mining

• Hui Ding, Goce Trajcevski, Peter Scheuermann:
  Efficient Similarity Join of Large Sets of Moving Object Trajectories. 79-87
  
• Juozas Gordevicius, Johann Gamper, Michael H. Böhlen:
  A Greedy Approach Towards Parsimonious Temporal Aggregation. 88-92
  
• Bashar Saleh, Florent Masseglia:
  Time Aware Mining of Itemsets. 93-97
  

Proof Systems for Temporal Reasoning

• David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò:
  A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. 101-109
  
• Davide Bresolin, Angelo Montanari, Pietro Sala:
  An optimal tableau for Right Propositional Neighborhood Logic over Trees. 110-117
  
• Luca Viganò, Marco Volpe:
  Labeled Natural Deduction Systems for a Family of Tense Logics. 118-126
  

Planning

• Yuechang Liu, Yunfei Jiang, Hong Qian:
  Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems. 129-136
  
• Frederic Maris, Pierre Régnier:
  TLP-GP: Solving Temporally-Expressive Planning Problems. 137-144
  

Verification of Infinite-State Systems

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