Friday, October 23, 1998

9:00-10:00		Visual Language Specification and Recognition 
                        (Invited Tutorial)
				Kim Marriott, 
				Monash University 
10:00-10:30		Theories of Visual and Diagrammatic Reasoning: 
                        Foundational Issues
				Corin Gurr, 
				University of Edinburgh 

10:30-11:00		Break 

11:00-11:10		Commentary and Discussion 
11:10-11:40		Diagrammatic Reasoning and Color
				Michael Anderson and Chris Armen, 
				University of Hartford 
11:40-11:50		Commentary and Discussion 
11:50-12:20		Verification of Diagrammatic Proofs
				Mateja Jamnik, Alan Bundy, and Ian Green, 
				University of Edinburgh 
12:20-12:30		Commentary and Discussion 

12:30-2:00		Lunch 

2:00-3:00		Diagrammatic Reasoning (Invited Tutorial)
				Gerard Allwein, 
				Indiana University 
3:00-3:30		Diagrammatic Reasoning: Analysis of an Example
				Patrick J. Hayes and Geoffrey L. LaForte, 
				University of West Florida 

3:30-4:00		Break 

4:00-4:10		Commentary and Discussion 
4:10-4:40		Diagrammatic Reasoning about Actions 
                        Using Artificial Potential Fields
				Marcello Frixione,1 Gianni Vercelli,2
				and Renato Zaccaria,3
				1Univesity of Salerno, 2University of Trieste, 
				and 3University of Genova 
4:40-4:50		Commentary and Discussion 
4:50-5:20		Local Extent in Diagrams
				Norman Foo, 
				University of New South Wales 
5:20-5:30		Commentary and Discussion 

6:00-7:00		Reception 

Saturday, October 24, 1998

9:00-10:00		Qualitative Spatial Reasoning (Invited Talk)
				Tony Cohn, 
				University of Leeds 
10:00-10:30		A Logic-based Formalism for Reasoning about 
                        Visual Representations
				Volker Haarslev, 
				University of Hamburg 

10:30-11:00		Break 

11:00-11:10		Commentary and Discussion 
11:10-11:40		Generating User Interfaces for Pen-based Computers
				Sitt Sen Chok and Kim Marriott, 
				Monash University 
11:40-11:50		Commentary and Discussion 
11:50-12:20		Hypergraph Representations of Diagrams 
                        in Diagram Editors
				Mark Minas, 
				University of Erlangen-Nürnberg 
12:20-12:30		Commentary and Discussion 

12:30-2:00		Lunch 

2:00-3:00		Spatial Reasoning and Spatial Information Handling 
                        (Invited Talk)
				Max J. Egenhofer, 
				University of Maine 
3:00-3:30		Euclid++
				Gerard Allwein, 
				Indiana University 

3:30-4:00		Break 

4:00-4:10		Commentary and Discussion 

4:15-5:30		Diagrammatic Reasoning and Visual Languages: 
                        Where do they meet? (Panel Discussion)   

6:00-7:30		Plenary Session 

Sunday, October 25, 1998

9:00-10:30		System Demonstrations I 


		The BITPICT Computation System
				George W. Furnas,
				University of Michigan 
		The Penguins Project
				Sitt Sen Chok and Kim Marriott,
				Monash University 
		Demonstration of the Diagram Understanding System
				Robert P. Futrelle, Northeastern University 
		VISCO--Querying GIS with Spatial Sketches
				Volker Haarslev and Michael Wessel, 
				University of Hamburg 
		Interpretation of Visual Notations in the Recopla Editor Generator
				Bernd Meyer and Hubert Zweckstetter, 
				University of Munich 

10:30-11:00		Break 

11:00-12:30		System Demonstrations II 


		Diamond: Diagrammatic Reasoning System Demonstration
				Mateja Jamnik, Alan Bundy, and Ian Green, 
				University of Edinburgh 
		Inter-Diagrammatic Reasoning
				Michael Anderson, 
				University of Hartford 
		GenEd--A Generic Editor for Reasoning about Visual Notations
				Volker Haarslev and Michael Wessel, 
				University of Hamburg 
		Hyperproof
				Gerard Allwein, 
				Indiana University