|
Thursday, June 15, 2006
|
|
8:45-9:00 | Opening Remarks
|
|
9:00-10:00 | INVITED TALK
|
|
| (natural language)
|
|
| Anthony Galton
|
|
10:00-10:30 | BREAK
|
|
10:30-12:00 | Temporal Logic 1
|
|
| Is there a future for deductive temporal verification?
|
|
| Clare Dixon, Michael Fisher, Boris Konev
|
|
| Automated verification of continuous time systems
by discrete temporal induction
|
|
| Angelo Gargantini, Angelo Morzenti
|
|
| CTL model checking for labelled tree queries
|
|
| Sylvain Halle, Roger Villemaire, Omar Cherkaoui
|
|
12:00-1:30 | LUNCH
|
|
1:30-3:00 | Time in Natural Language 1
|
|
| Task-oriented extraction of temporal information: The case
of clinical narratives
|
|
| Robert Gaizauskas, Henk Harkema, Mark Hepple, Andrea Setzer
|
|
| From language to time: a temporal expression anchorer
|
|
| Benjamin Han, Donna Gates, Lori Levin
|
|
| Temporal arithmetic mixing months and days
|
|
| Feng Pan, Jerry R. Hobbs
|
|
3:00-3:30 | BREAK
|
|
3:30-5:00 | Time in Artificial Intelligence 1
|
|
| Ultimately periodic simple temporal problems (UPSTPs)
|
|
| Jean-Francois Condotta, Gerard Ligozat, Mahmoud Saade, Stavros Tripakis
|
|
| Conditional and composite temporal constraints with preferences
|
|
| Malek Mouhoub, Amrudee Sukpan
|
|
| Efficient heuristics for solving probabilistic interval algebra networks |
|
| Kai Zhang, Andre Trudel
|
|
5:30-7:00 | TIME BUSINESS MEETING
|
|
Friday, June 16, 2006
|
|
9:00-10:00 | INVITED TALK
|
|
|
(databases)
|
|
| Christian Jensen
|
|
|
|
10:00 - 10:30 | BREAK
|
|
10:30-12:00 | Time in Databases 1
|
|
| Aggregation Estimation for 2D Moving Points
|
|
| Scot Anderson
|
|
| k-anonymity in databases with timestamped data
|
|
| Sergio Mascetti, Claudio Bettini, X. Sean Wang, Sushil Jajodia
|
|
| Formal verification of an optimistic concurrency control algorithm using SPIN
|
|
| Achraf Makni, Rafik Bouaziz, Faiez Gargouri
|
|
12:00 - 1:20 | LUNCH
|
|
1:30-3:30 | Artificial Intelligence 2
|
|
| A generic toolkit for n-ary qualitative temporal and spatial calculi
|
|
| Jean-Francois Condotta, Gerard Ligozat, Mahmoud Saade
|
|
| Task scheduling for a temporal workflow management system
|
|
| Carlo Combi, Giuseppe Pozzi
|
|
| An automaton-based approach to the verification of timed workflow schemas
|
|
| Elisabetta De Maria, Angelo Montanari, Marco Zantoni
|
|
| Measuring, monitoring and controlling software maintenance efforts
|
|
| Markus Zanker, Sergiu Gordea
|
|
3:30 - 4:00 | BREAK
|
|
4:00-5:00 | Time in Natural Language 2
|
|
| DyST: Dynamic and scalable temporal text indexing
|
|
| Kjetil Norvag, Albert O. Nybo
|
|
| Automatic resolution rule assignment to multilingual temporal expressions using annotated corpora
|
|
| E. Saquete, P. Martinez-Barco, R. Munoz, N. Negri, M. Sperzanza, R. Sprugnoli
|
|
5:30 - 9:00 | BANQUET
|
|
SATURDAY JUNE 17th, 2006
|
|
9:00-10:00 | Temporal Logic 2
|
|
| Representing trends and trend dependencies with multiple granularities
|
|
| Carlo Combi, Rosalba Rossato
|
|
| A decidable interval temporal logic for events and states
|
|
| Savas Konur
|
|
| In time alone: on the computational power of querying the history
|
|
| Alexei Lisitsa, Igor Potapov
|
|
| Using temporal logic for spatial reasoning: spatial propositional neighborhood logic
|
|
| Antonio Morales, Guido Sciavicco
|
|
11:00 - 11:30 | BREAK
|
|
10:30-12:00 | Time in Databases 2
|
|
| Adaptive interpolation algorithms for temporal-oriented datasets
|
|
| Jun Gao
|
|
| Extracting uncertain temporal relations from mined frequent sequences
|
|
| Francisco Guil, Roque Marin
|
|
| A spatiotemporal database for ozone in the conterminous U.S.
|
|
| Lixin Li, Xingyou Zhang, Reinhard Piltner
|
|
|