Euler Diagrams Programme

Euler Diagrams 2004

Brighton, UK

September 22-23

Home | Call for papers | Submissions | Registration | Programme | Local arrangements | Euler diagrams | Brighton

Wednesday 22nd September
9.00-9.45	Registration
9:45-10:00	Introduction
10.00-11.30	Drawing and Layout of Euler Diagrams I
	Jean Flower: Generation and Layout of Euler Diagrams Frank Ruskey: The Beauty of Symmetric Venn and Euler Diagrams: A Survey Richard Merrit: Euler Diagrams and Extruded Euler Diagrams as a Post-Modern Aesthetic
11:30-12:00	Break
12.00-1.00	Applications of Euler Diagrams I
	John Howse and Steve Schuman: Lessons Learnt from a Modelling Case Study Robin Clark: Failure Mode Modular De-Composition Using Spider Diagrams
1:00-2:00	Lunch
2:00-3:30	Discussion Session
3:30-4:00	Break
4:00-5:00	The Algebra of Euler Diagrams
	Andrew Fish: Abstractions of Euler Diagrams Rosario De Chiara, Mikael Hammar and Vittorio Scarano: A Data Structure for Euler Diagrams

Thursday 23rd September
9.00-10:30	Semantics and Reasoning with Euler Diagrams
	Gem Stapleton: A Survey of Reasoning Systems Based on Euler Diagrams Nik Swoboda and Gerard Allwein: Using Information Types to Define Hetrogeneous Euler/Venn Inference Rules Manuel Barrio-Solórzano and John Howse: Theorem Proving in Spider Diagrams Using PVS
10.30-11.00	Break
11:00-12:30	Drawing and Layout of Euler Diagrams II
	John Howse and Bernd Meyer: Conjunction Labels in Euler Diagrams Chris John: Projected Contours in Euler Diagrams Stirling Chow and Frank Ruskey: Towards a General Solution to Drawing Area Proportional Euler Diagrams
12.30-2.00	Lunch
2:00-3:00	Discussion Session
3:00-3:30	Break
3.30-5:00	Applications of Euler Diagrams II
	Jérôme Thièvre, Marie-Luce Viaud and Anne Verroust-Blondet: Using Euler Diagrams in Traditional Library Environment H.R. Dunn-Davies, R.J. Cunningham and S. Paurobally: Propositional Statecharts for Agent Interaction Protocols Rosario De Chiara and Vittorio Scarano: Euler Diagrams for Virtual Directories
5:00-5:30	Peter Rodgers Future Directions

Contact:
euler2004@kent.ac.uk