Programme of ACCAT at ETAPS 2006

(Applied and Computational Category Theory)

Sunday, March 26

09:00 - 10:30 SESSION 1 (ACCAT, Sunday, March 26, room: EI 3A)

Welcome and Opening
H. Ehrig (TU Berlin, D) and J. Pfalzgraf (Univ. Salzburg, A)
ACCAT, the Origins and a Survey of Own Work
J. Pfalzgraf (Univ. Salzburg, A)
Integration of Categorical Frameworks: Generic Component Concept for System Modelling and Adhesive HLR Systems
J. Padberg (TU Berlin, D)
A Functorial Framework for Constraint Normal Logic Programming
F. Orejas (UPC, Barcelona, E)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2 (ACCAT, Sunday, March 26, room: EI 3A)

Structural Complexity: A Categorical View
Liara Aparecida dos Santos Leal (PUCRS, Porto Alegre, BR)
Institutions, Abstract Model Theory and Software Specification
A. Tarlecki (Univ. Warsaw, PL)
Heterogeneous Specification and the Heterogeneous Tool Set
T. Mossakowski (Univ. Bremen, D)

12:30 - 14:00 Lunch

14:00 - 15:30 SESSION 3 (ACCAT, Sunday, March 26, room: EI 3A)

Recursive Coalgebras
J. Adamek (TU Braunschweig, D)
Factorization Systems and Classification Problems
J.Rosicky (Univ. Brno, CZ)
Theory Morphisms in Membership Equational Logic
J. Meseguer (Univ. Illinois, USA)

15:30 - 16:00 Coffee

16:00 - 17:30 SESSION 4 (ACCAT, Sunday, March 26, room: EI 3A)

Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories
U. Prange (TU Berlin, D)
Towards a Categorical Semantics of Concurrency for Adhesive Rewriting Systems
A. Corradini (Univ. Pisa, I)

19:30 SOCIAL EVENT (Sunday, March 26)

Joint Workshops Pre-Conference Dinner
Dinner at the historic restaurant Piaristenkeller, Piaristengasse 45, 1080 Wien

Further ETAPS 2006 Programme Information:

ETAPS 2006 | Top | HTML 4.01 | Last Update: 2006-03-23