Programme of ACCAT at ETAPS 2008

(Applied and Computational Category Theory)

Sunday, March 30, room: ROOM I

09:00 - 10:30 SESSION 1

Welcome and Opening
H. Ehrig, TU Berlin/Germany (Chairman)
The Notion of Base Diagram of a Multiagent System (short presentation)
J. Pfalzgraf, Uni Salzburg/Austria (Chairman)
On a Technical Approach for Manipulating Base Diagrams of Multiagent Systems
T.Soboll, Uni Salzburg/Austria
About Algebras for Algebraic High-Level Net Transformations
U.Prange, TU Berlin/Germany
Categorical Fundamentals for the Resource Description Framework
B.Braatz, TU Berlin/Germany

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

Irreducible Objects and Lattice Homomorphisms in Adhesive Categories
B.König, Uni Duisburg-Essen/Germany
Attributed Graph Constraints
F. Orejas, Uni Catalunya/Spain
Monad-Based Logics for Computational Effects
T. Mossakowski, Uni Bremen/Germany

12:30 - 14:00 Lunch

14:00 - 15:30 SESSION 3

The Power of Functors in Programming: Case Study Theorema
B.Buchberger, RISC, Uni Linz/Austria
Abstraction Based Information Technology
J.Calmet, Uni Karlsruhe/Germany
Graph Rewritings in Computational Origami
Tetsuo Ida, Uni Tsukuba/Japan

15:30 - 16:00 Coffee

16:00 - 17:30 SESSION 4

Sequential Composition of Database Refactorizations - A Categorical Framework
M.Löwe, Uni Appl. Sciences Hannover /Germany
How to Pull Back Open Maps along Semantics Funtors
U.Fahrenberg, Uni Aalborg/Denmark

Concluding the Workshop

Detailed Programme Information:

ETAPS 2008 | Top | HTML 4.01 | Last Update: 2008-01-13