TIME-99 Preliminary Program

Saturday May 1st

9:00--9:20

Registration

9:20--9:30

Welcome

9:30--10:45

Invited talk: Zohar Manna

``Visual Verification of Temporal Properties''

10:45--11:15

Break

11:15--12:15

Technical Session 1 chaired by Lina Khatib

11:15--11:45	Jan Chomicki, Peter Revesz
	``A Geometric Framework for Specifying Spatiotemporal Objects'' (abstract)
11:45--12:15	Han-Chieh Wei, Ramez Elmasri
	``Study and Comparison of Schema Versioning and Database Conversion Techniques for Bi-Temporal Databases''(abstract)

12:15--1:45

Lunch

1:45--3:15

Technical Session 2

1:45--2:15	Massimo Franceschet, Angelo Montanari
	``A graph-theoretic approach to efficiently reason about partially ordered events in the Event Calculus''(abstract)
2:15--2:45	Michael J. Almeida
	``A System for Reasoning with Nonconvex Intervals''(abstract)
2:45--3:15	Patrick Doherty, Jonas Kvarnström
	``TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining Planner''(abstract)

3:15--3:45

Break

3:45--5:00

Panel Session: ``The Future of Temporal Reasoning''

Jan Chomicki, Angelo Montanari, Robert Morris, Yuval Shahar

7:00

Informal Dinner??

9:30--10:45

Invited talk: Enrico Franconi

``Introducing Temporal Description Logics''

10:45--11:15

Break

11:15--12:30

Technical Session 3 chaired by Paolo Terenziani

11:15--11:45	Claudio Bettini, Roberto De Sibi
	``Symbolic Representation of User-Defined Time Granularities"(abstract)
11:45--12:15	Isabella Merlo, Elisa Bertino, Elena Ferrari, Giovanna Guerrini
	``A Temporal Object-Oriented Data Model with Multiple Granularities"(abstract)
12:15--12:30	Mehmet A. Orgun
	``A Temporal Relational Algebra Based on Multiple Time-Lines".(abstract)

12:30--2:00

Lunch

2:00--3:30

Technical Session 4

2:00--2:30	Robert A. Morris, Lina Khatib
	``Optimization in constraint reasoning about repeating events''(abstract)
2:30--3:00	Lina Khatib, Robert A. Morris
	``Generating Scenarios for Periodic Events with Binary Constraints''(abstract)
3:00--3:30	Shubha Chakravarty, Yuval Shahar
	"A Constraint-Based Specification of Periodic Patterns in Time-Oriented Data'' (abstract)

3:30--4:00

Break

4:00--4:30

TIME committee meeting, all welcome.