09:00 - 09:15   Introduction
 09:15 - 09:45   Uwe Wolter: Generalized Sketches - A Universal
                  Pattern for Diagrammatic Specification
 09:45 - 10:15   William Lawvere: Dynamics and Cohesion in Finite Toposes
 -- coffee break --
 11:00 - 11:30   Ugo Montanari: Normalized Coalgebras for Dynamic Bisimilarity
 11:30 - 12:00   Jose Fiadeiro: Structured Co-spans: Algebraic Modelling of
                 Interaction Protocols
 12:00 - 12:30   Jiri Adamek: Iterative Algebras
 -- lunch break --
 14:00 - 14:30   Reiko Heckel: A Categorical Model of Computation for 
                 Graph Transformation: True Concurrency and Logic
 14:30 - 15:00   Leen Lambers: Adhesive High-Level Replacement Systems
                  with Negative Application Conditions
 15:00 - 15:30   Paolo Baldan: Composing DPO Transformations with Borrowed Context
 15:30 - 16:00   Ulrike Prange: Algebraic High-Level Systems as Weak Adhesive
                  HLR Categories
 -- coffee break --
 16:30 - 17:00   Stephen Watt: Categories in the Design of Aldor
 17:00 - 17:30   Vladimiro Sassone
 17:30 - 18:00   Jochen Pfalzgraf