|
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
|
| BREAK |
|
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
|
| LUNCH BREAK |
|
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
|
| BREAK & POSTERS
|
|
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
|
| BREAK
|
|
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
|
| LUNCH
|
|
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
|
| BREAK & POSTERS
|
|
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
|
| BOAT TOUR AND BANQUET
|
|
Saturday, June 25
|
|
9:00-10:00 | TUTORIAL
|
|
| James Pustejovsky (Brandeis)
|
|
| Time and the Semantic Web
|
|
BREAK
|
|
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
|
|
|
