TIME-2000 Schedule


			    Day One
			(July 7, 2000)

9:45am		Opening Remarks
10:00am		Invited Speaker #1: Abdul Sattar, Griffith University, Australia
		Title: TBA
11:00am		Break
11:15am		A calculus of macro-events
		Cervesato, and Montanari
11:45am		Efficient resolution mechanism for fuzzy temporal constraint logic
		Cardenas, Navarette, and Marin
12:15pm		Lunch
1:30pm		Best Paper #1
		Representing and reasoning with temporal constraints in multimedia
		presentations
		Adah, Console, Sapino, Schenone, Terenziani
2:10pm		Reasoning about generalized intervals: Horn 
		representability and tractability
		Balbiani, Condotta, and Ligozat
2:40pm		Resolution-based proof for multi-modal temporal logics of knowledge
		Dixon and Fisher
3:10pm		Break
3:30pm		Extending topological nexttime logic
		Heinemann
4:00pm		Resolution for branching time temporal logics: Applying 
		the temporal resolution rule
		Bolotov and Dixon
4:20pm		Is point-based semantics always adequate for temporal databases?
		Terenziani
4:40pm		Behavior discovery as database scheme design
		Miura, Shioya, Watanabe
5:10pm		End of Day 1


			    Day Two
			(July 8, 2000)

10:00am		Best Paper #2
		A formalization of structured temporal objects and repetition
		Cukierman and Delgrande
10:40am		Closure properties of classes of spatio-temporal objects 
		for boolean set operations
		Haesevoets, and Kuijpers
11:10am		Break
11:30am		Querying multiple temporal granularity data
		Merlo, Bertino, Ferrari, Gadia, and Guerrini
12:00pm		Navigating through hierarchical change propagation in Spatio-Temporal Queries
		Mountrakis, Stefanidis, and Agouris
12:30pm		Lunch
2:00pm		Modeling temporal aspects of visual and textual objects 
		in multimedia databases
		Combi
2:30pm		PMTV: A schema versioning approach for bi-temporal databases
		Wei and Elmasri
3:00pm		An incremental batch-oriented index for bitemporal databases
		Silva, and Nascimento
3:30pm		Break
3:50pm		A visualization of medical therapy plans compared to Gantt and
		Pert charts
		Kosara and Miksch
4:10pm		Towards a theory of movie database queries
		Kuijpers, Paredaens, and Van Gucht
4:40pm		End of Day 2

7:00pm		Banquet


			    Day Three
			(July 9, 2000)

9:30am		Free schedules for free agents in workflow systems
		Bettini, Wang, and Jajodia
10:00am		Predicting positions of moving objects
		Beard and Palancioglu
10:20am		Temporal reasoning: A three way analysis and an AI
		explanation
		Padmanabhan, and Sattar
10:40am		Break
11:00am		Invited Speaker #2: Bernhard Nebel, Institut fuer Informatik
                Albert-Ludwigs-Universitaet, Germany
		Title: TBA
12:00pm		Closing Remarks
12:10pm		End of Day 3