Sunday, March 27
Room E1.3/16
09:15 - 10:30 SESSION 1
09.15: J. Pfalzgraf
Memorial
09.30: Algebraic Characterization of
Planning Arrows inside a Consistent Projective Quaternary Structure
O. Bartheye (CREC St-Cyr)
10.00: States and exceptions
considered as dual effects
D. Duval,
LJK (Université de Grenoble)
10:30 - 11:00 Coffee
11:00 - 12:30 SESSION 2
11.00: Categorical Framework for
Computer Science (Extended Talk)
H. Ehrig (Technische Universität Berlin)
12.00: Borrowed contexts for
attributed graphs
F. Orejas
(Universitat Politècnica de
Catalunya)
12:30
- 14:00 Lunch
14:00 - 16:00 SESSION 3
14.00: Model Transformation Based on
Triple Graph Grammars with Interfaces
F. Hermann (Technische Universität Berlin)
14.30: A Category for Triple Graphs
with Flexible Correspondences
L. Lambers
(Hasso-Plattner-Institut für Softwaresystemtechnik GmbH)
15.00: A Semantics Construction Kit
based on the Resource Description Framework
B. Braatz (Université du Luxembourg)
15.30: Towards Categorical Deletion
and Division Operations
T. Soboll
(Universität Salzburg)
16:00 - 16:30 Coffee
16:30 - 17:30 SESSION 4
16.30: Generalized Sketches and Presheaf Topoi
U. Wolter
(University of Bergen)
17.00: On Graph Transformation in
Span and Co-Span Categories
M. Löwe, Fachhochschule für die Wirtschaft Hannover
HOME PAGE: http://www.cosy.sbg.ac.at/~