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:

• Main Conferences: Complete Programme, CC, ESOP, FASE, FOSSACS, TACAS
• Workshops: ACCAT, ByteCode, COCV, CMCS, DCC, FESCA, FIT, FORMED, GALOP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV, SafeCert, SC, SLA++P, WGT, WRLA