Programme of ACCAT at ETAPS 2006
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)
- Presentations
- 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)
- Presentations
- 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)
- Presentations
- 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)
- Presentations
- 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:
- Programme Overview
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
AVIS,
CMCS,
COCV,
DCC,
EAAI,
FESCA,
FRCSS,
GT-VMT,
LDTA,
MBT,
QAPL,
SC,
SLAP,
SPIN,
TERMGRAPH,
WITS,
WRLA
- Tutorials:
Phoenix,
QuantComp
ETAPS 2006 |
Top |
HTML 4.01 |
Last Update: 2006-03-23