15. TIME 2008: Monteéal, Canada

Keynotes

Panel

Computational Complexity and Decidability

Spatio-Temporal Data Management

Temporal Reasoning on Tree-like Structures

Query Processing and Data Mining

Proof Systems for Temporal Reasoning

Planning

Verification of Infinite-State Systems