TIME 2005
Call for Papers
Important Dates
Accepted Papers
Invited Speakers
Conference Officers
Program Committee
Tourist Information

TIME 2005 Symposium Program

Wednesday, June 22
6:30pm - 8:30pm WELCOME RECEPTION
Thursday, June 23
8:45-9:00 Opening Remarks
9:00-10:00 INVITED TALK
Patrice Godefroid (Lucent Bell Labs)
Generalized Model Checking
10:30-12:00 Temporal Databases 1
Nicole Bidoit, Matthieu Objois
Temporal query languages expressive power: muTL versus T-WHILE
Mohammed Al-Kateb, Essam Mansour, and Mohamed E. El-Sharkawi
CME: A Temporal Relational Model for Efficient Coalescing
Carlo Combi and Angelo Montanari and Rosalba Rossato
A uniform algebraic characterization of temporal functional dependencies
2:00-3:30 Temporal Logic in Computer Science 1
Andreas Schaefer
Axiomatisation and decidability of multi-dimensional duration calculus
Carsten Lutz, Dirk Walther and Frank Wolter
Quantitative temporal logics: PSPACE and below
Stephane Demri, Ranko Lazic, David Nowak
On the freeze quantifier in Constraint LTL: decidability and complexity
4:30-5:30 Temporal Representation and Reasoning in AI 1
Claudio Bettini, Sergio Mascetti
An efficient algorithm for minimizing time granularity periodical representations
Mahat Khelfallah and Belaid Benhamou
A Local Method for Prioritized Fusion of Temporal Information
8:00-10:00 TIME Business Meeting at UVM
Friday, June 24
9:00-10:00 INVITED TALK
Betty Salzberg (Northeastern)
Indexing Inventory Snapshots
10:30-12:00 Temporal Logic in Computer Science 2
Marko Samer, Helmut Veith
Deterministic CTL Query Solving
Pieter Hartel
A trace semantics for Positive Core XPath
Alexei Lisitsa and Igor Potapov
Temporal logic with predicate lambda-abstraction
2:00-3:00 Temporal Representation and Reasoning in AI 2
Krzysztof R. Apt, Sebastian Brand
Constraint-Based Qualitative Simulation
Philippe Muller, Axel Reymoneti
Using inference for evaluating models of temporal discourse
4:00-5:00 Temporal Logic in Computer Science 3
Ben D'Angelo, Sriram Sankaranarayanan, Cesar Sanchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna
Lola: Runtime Monitoring of Synchronous Systems
Roger Villemaire, Sylvain Halle, Omar Cherkaoui
Configuration Logic: A multi-site Modal Logic
Saturday, June 25
9:00-10:00 TUTORIAL
James Pustejovsky (Brandeis)
Time and the Semantic Web
10:30-12:00 Temporal Databases 2
Fusheng Wang, Carlo Zaniolo, Xin Zhou
Temporal XML? SQL Strikes Back!
Amal Elnahas, Omar Karam, Ingy Ramzy, Ahmed Hamad
"TellMe": A Novel Location Management and Prediction Protocol for Moving Object Databses
Kiyoung Yang and Cyrus Shahabi
Multilevel Distance-based Index Structure for Multivariate Time Series

Contributed Posters

Seo-Young Noh, Shashi K. Gadia An XML-based Framework for Temporal Database Implementation
Volker Gruhn, Ralf Laue Specification Patterns For Time-Related Properties
Andre Trudel & Haiyi Zhang Exploiting the relationship between IA networks and finite domain CSPs
Johann Eder and Horst Pichler Probabilistic Time Management for Workflow Systems
M.A. Reniers and Y.S. Usenko Analysis of timed processes with data using algebraic transformations
Song Lin, Stefano Lonardi, Vana Kalogeraki, Dimitrios Gunopulos Applying LVQ Techniques to Compress Historical Information in Sensor Networks
Artie Basukoski and Alexander Bolotov Search Strategies for Resolution in CTL-type Logics: Extension and Complexity.

Invited Posters

Angelo Montanari Propositional interval temporal logics: some promising paths
The Logic and Computation Group Time in Liverpool - An overview of Temporal Research in the Logic and Computation Group
Fusheng Wang, Carlo Zaniolo and Xin Zhou Version Management and Historical Queries in Digital Libraries
Peter Revesz Efficient Rectangle Indexing Algorithms Based on Point Dominance