Programme of ACCAT at ETAPS 2011

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/~tsoboll/ACCAT/index.php