Programme of ACCAT at ETAPS 2007

(Applied and Computational Category Theory)

Sunday, March 25, room: CP2-103

09:00 - 10:15 SESSION 1

Generalized Sketches - A Universal Pattern for Diagrammatic Specification
Uwe Wolter
Dynamics and Cohesion in Finite Toposes
William Lawvere

10:15 - 11:00 Coffee Break

11:00 - 12:30 SESSION 2

Normalized Coalgebras for Dynamic Bisimilarity
Ugo Montanari
Structured Co-spans: Algebraic Modelling of Interaction Protocols
José Fiadeiro
Iterative Algebras
Jiri Adamek

12:30 - 14:00 Lunch

15:00 - 16:00 SESSION 3

A Categorical Model of Computation for Graph Transformation: True Concurrency and Logic
Reiko Heckel
Adhesive High-Level Replacement Systems with Negative Application Conditions
Leen Lambers
Composing DPO Transformations with Borrowed Context
Paolo Baldan
Algebraic High-Level Systems as Weak Adhesive HLR Categories
Ulrike Prange

16:00 - 16:30 Coffee Break

16:30 - 18:00 SESSION 4

Categories in the Design of Aldor
Stephen Watt
Vladimiro Sassone
Jochen Pfalzgraf


Joint Workshops Pre-Conference Dinner (tickets needed)
Dinner at Bom Jesus, Braga
Shuttle departure from University Campus, Gualtar

Further ETAPS 2007 Programme Information:

ETAPS 2007 | Top | HTML 4.01 | Last Update: 2007-03-13