Call For Participation

	The 12th International Symposium on 
	TEMPORAL REPRESENTATION AND REASONING (TIME 2005)

        June 23-25, Burlington, Vermont, USA

	http://time2005.cse.buffalo.edu/

	***REGISTRATION AND HOTEL RESERVATION ARE OPEN***

PROGRAM

Wednesday, June 22:

6:30pm - 8:30pm WELCOME RECEPTION

Thursday, June 23:

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 H. Al-Kateb, Essam M. 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

Friday, June 24:

9:00-10:00 INVITED TALK 

Betty Salzberg (Northeastern) 
      Indexing Inventory Snapshots

BREAK

10:30-12:00 9:00-10:30  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 (6:30)

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

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