Programme of ACCAT at ETAPS 2010
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