15th International Symposium on Temporal Representation and Reasoning
TIME 2008 aims to bring together researchers from distinct research areas involving the management of temporal data as well as the reasoning about temporal aspects of information.
This unique and well-established event further has as its objectives to bridge theoretical and applied research, as well as to serve as an interdisciplinary forum for exchange among researchers from the areas of artificial intelligence, database management, logic and verification, and beyond.
TIME 2008 encompasses three tracks, but has a single program committee. The conference will span three days, and will be organized as a combination of technical paper presentations, poster sessions, and keynote talks.
This year, TIME will be held from June 16th to June 18th, 2008, at Université du Québec à Montréal, in the heart of downtown Montreal, Canada. The conference is sponsored by organizations, among them Oracle, MITACS and the Association for Symbolic Logic.
The TIME 2008 organizing committee is thankful for the support of the following organizations:
2008-03-03: Accepted papers
The list of accepted papers is available in the conference program page. Registration instructions will be made available shortly.
2008-01-10: Submission deadline extended
Submission deadline for papers is extended to January 15, 2008 at 17:00 (5 PM), Pacific Time.
2007-12-19: Keynote speakers announced
The organizers of TIME 2008 are glad to announce that Carsten Lutz (Institute of Theoretical Computer Science, TU Dresden, Germany), Ravi Kothuri (Oracle Corporation, Nashua, NH, USA) and James Worrell (Computing Laboratory, Oxford University, GB) will be the three kenote speakers at the conference. More information will be added on the keynote speakers page in the coming weeks.
This document is available in alternate formats:
Printer-friendly version
Text-only version, for e-mails
First Call For Papers
TIME 2008
Fifteenth International Symposium on Temporal Representation and Reasoning
Montreal, Canada, June 16-18, 2008
http://www.time2008.org
TIME 2008 aims to bring together researchers from distinct research areas involving the management of temporal data as well as the reasoning about temporal aspects of information.
This unique and well-established event further has as its objectives to bridge theoretical and applied research, as well as to serve as an interdisciplinary forum for exchange among researchers from the areas of artificial intelligence, database management, logic and verification, and beyond.
TIME 2008 encompasses three tracks, but has a single program committee. The conference will span three days, and will be organized as a combination of technical paper presentations, poster sessions, and keynote talks.
Keynote Lecturers
Carsten Lutz, Institute of Theoretical Computer Science, TU Dresden, Germany
Ravi Kothuri, Oracle Corporation, Nashua, NH, USA
James Worrell, Computing Laboratory, Oxford University, GB
Topics
Track 1: Temporal Representation and Reasoning in AI
temporal aspects of agent- and policy-based systems
spatial and temporal reasoning
reasoning about actions and change
temporal languages for planning
ontologies of time and space-time
belief and uncertainty in temporal knowledge
temporal learning and discovery
time in problem solving (e.g. diagnosis, scheduling)
time in human-machine interaction
temporal information extraction
time in natural language processing
spatio-temporal knowledge representation systems
spatio-temporal ontologies for the semantic web
Track 2: Temporal Database Management
temporal data models and query languages
temporal query processing and indexing
temporal data mining
time series data management
stream data management
spatio-temporal data management, including moving objects
data currency and expiration
indeterminate and imprecise temporal data
temporal constraints
temporal aspects of workflow and ECA systems
real-time databases
time-dependent security policies
privacy in temporal and spatio-temporal data
temporal aspects of multimedia databases
temporal aspects of e-services and web applications
temporal aspects of distributed systems
novel applications of temporal database management
experiences with real applications
Track 3: Temporal Logic and Verification in Computer Science
specification and verification of systems
verification of web applications
synthesis and execution
model checking algorithms
verification of infinite-state systems
reasoning about transition systems
temporal architectures
temporal logics for distributed systems
temporal logics of knowledge
hybrid systems and real-time logics
tools and practical systems
temporal issues in security
Paper Submission
Submissions of high quality papers describing research results or on-going work are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere.
Submitted papers will be refereed by at least three reviewers for quality, correctness, originality, and relevance. Accepted papers will be presented at the symposium and included in the proceedings, which will be published by the IEEE Computer Society Press. Acceptance of a paper is contingent on one author presenting the paper at the symposium.
Submissions should be in PDF format (with the necessary fonts embedded) and should use the format for camera-ready papers. Submissions must not exceed 8 pages in using that format; over-length submissions may be rejected without review.
Papers should be submitted electronically using the online system available via the TIME 2008 web site.
Further Information
e-mail: info@time2008.org and http://www.time2008.org
The paper submission system now welcomes paper submissions.
Paper submission system
Submit a paper to TIME 2008 (external link)
Submission deadline for papers is extended to January 15, 2008 at 17:00 (5 PM), Pacific Time. This is 20:00 (8 PM), Eastern (Montreal) Time.
Before submitting
Before submitting, please read the Call for papers for additional instructions regarding the content of your paper.
Proceedings will be published by IEEE Computer Society Press and will be subject to IEEE Copyright. Camera ready papers are expected to be produced with the author kits sent by IEEE Computer Society Press.
Submissions should be in PDF format (with the necessary fonts embedded) and should use the format for camera-ready papers. Submissions must not exceed 8 pages in using that format; over-length submissions may be rejected without review.
Papers should be submitted electronically using the online system available via the TIME 2008 web site. The link will be provided when the conference starts accepting submissions.
Formatting guidelines, LaTeX and Microsoft Word stylesheets for submissions can be found on IEEE Computer Society’s FTP site.
Shortcut to the IEEE LaTeX stylesheet (local zip archive)
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
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
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
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
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
Carsten Lutz
Institute of Theoretical Computer Science, TU Dresden, Germany
Ravi Kothuri
Oracle Corporation, Nashua, NH, USA
James Worrell
Computing Laboratory, Oxford University, GB
The 15th edition of the TIME conference will be hosted by the Computer Science Department of Université du Québec à Montréal and will be held in Montreal, Canada.
You will find in this page important information about travelling to Canada and getting around in Montreal.
Travelling to Montreal
List of hotels near the conference venue
The hotels are listed by distance from the conference building.
Montreal Tourism Board’s official web site
(In English) Offers tons of information on accomodations, flight bookings, restaurants, special events.
Downtown Maps
Google Map. The green arrow points to the front door of the conference venue.
The following maps (adapted from Frommer’s material) can also be useful. The location of the conference venue is identified by a blue dot:
Nearby hotels in Downtown Montreal
Nearby restaurants in Downtown Montreal
Downtown and Vieux-Montreal Attractions
Walking Tour: Downtown Montreal
Other maps of nearby Vieux-Montreal:
Where to Dine in Vieux-Montreal
Walking Tour: Vieux-Montreal
Online interactive maps
Yahoo Travel
Subway Map
The station nearest to the conference venue (100 m) is Place-des-Arts on the green line. Many other maps are available on Montreal’s Transit Agency’s website.
Travelling to Canada
Check the requirements for entering Canada. This information can be found at Citizenship and Immigration Canada. If you need an invitation letter to apply for a visa, we can provide it for you if you contact us.
2007-04-04: Registration form available
The registration system is now open. Discounted prices for early registrations will last until May 16th, 2008.
2008-04-01: Conference program
The conference program is now available in the conference program page. Registration instructions will be made available shortly.
2008-03-03: Accepted papers
The list of accepted papers is available in the conference program page.
2008-01-10: Submission deadline extended
Submission deadline for papers is extended to January 15, 2008 at 17:00 (5 PM), Pacific Time.
2007-12-19: Keynote speakers announced
The organizers of TIME 2008 are glad to announce that Carsten Lutz (Institute of Theoretical Computer Science, TU Dresden, Germany), Ravi Kothuri (Oracle Corporation, Nashua, NH, USA) and James Worrell (Computing Laboratory, Oxford University, GB) will be the three kenote speakers at the conference. More information will be added on the keynote speakers page in the coming weeks.
2007-11-28: Submissions open
The paper submission system now welcomes paper submissions. Please refer to the submission page instructions. Submission deadline for papers is January 11, 2008 at 17:00 (5 PM), Pacific Time.
2007-11-13: Official poster
The official advertising poster for TIME 2008 is now available.
2007-10-26: Program Committee Complete
The composition of the Program Committee is now complete.
2007-10-24: Call for Papers
The first Call for papers for TIME 2008 has been issued today. Submission deadline for papers is January 11, 2008.
2007-10-23: Revised Dates
Revised dates for TIME 2008 are June 16-18, 2008 in Université du Québec à Montréal.
2007-08-27: TIME 2008 in Montreal
Montreal has been selected as the host of the next edition of TIME in June 2008.
For any enquiries about the conference venue, reservations and registration, please contact Roger Villemaire or Sylvain Hallé from the TIME 2008 Local Organizing Committee:
Département d’informatique
Université du Québec à Montréal
C.P. 8888, Succ. Centre-ville
Montréal (Québec)
CANADA H3C 3P8
E-mail: info@time2008.org
Web: www.time2008.org
Phone: +1 514 987 3239