Programme of ACCAT at ETAPS 2010

( Applied and Computational Category Theory )

Sunday, March 21

09:15 - 10:30 SESSION 1

Welcome and Opening
Exyended Talk: Categorical Framework for Computer Science
Categorical Framework for Computer Science
Indexed vs. fibred semantics in view of meta-modeling
U. Wolter
 
 

10:30 - 11:00 Coffee Break

11:00 - 12:30 SESSION 2

Decomposition and composition of graph transformation rules
F. Orejas
Analyzing Permutation Equivalence of Transformations in weak adhesive
HLR categories
F. Hermann
From Planning Bicategories and Bilinear Logic towards a Non-commutative
Algebraic Varietal Planning Space
O. Bartheye
 
 

12:30 - 14:00 Lunch

14:30 - 16:00 SESSION 3

Using Amalgamation for the De¯nition of Semantics
U. Prange
On the Theory of Double-Pullback Graph Rewriting
M. Lowe
 

16:00 - 16:30 Coffee Break

16:30 - 17:30 SESSION 4

Title to be announced
P. Baldan
Towards a Model of Local Global Dependencies in Multiagent Systems.
First Examples of Sheaves on the Category MAS
T. Soboll
 
 

Concluding the Workshop

 
Joint Workshops Pre-Conference Dinner
21st March 2010 (cf. http://www.etaps10.cs.ucy.ac.cy/):

6th ACCAT Workshop at ETAPS-2011
The 6th ACCAT Workshop is accepted as Satellite Event
at ETAPS-2011: 26 March - 4 April 2011, SaarbrÄucken, Germany
 
ETAPS 2010 | Top | Last Update: 2010-02-04