Programme of ACCAT at ETAPS 2007
Sunday, March 25, room: CP2-103
09:00 - 10:15 SESSION 1
- Introduction
- 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
- (tba)
- Vladimiro Sassone
- (tba)
- Jochen Pfalzgraf
18:45 SOCIAL EVENT
- Joint Workshops
Pre-Conference Dinner (tickets needed)
- Dinner at Bom Jesus, Braga
- Shuttle departure from University Campus, Gualtar
Further ETAPS 2007 Programme Information:
- Programme Overview, Social Programme
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
Bytecode,
COCV,
FESCA,
FinCo,
GT-VMT,
HAV,
HFL,
LDTA,
MBT,
MOMPES,
OpenCert,
QAPL,
SC,
SLA++P,
TERMGRAPH,
WITS
- Tutorials:
Stratego/XT,
SoftwGen,
Mobius
ETAPS 2007 |
Top |
HTML 4.01 |
Last Update: 2007-03-13