Friday 6/4 | |
15.00 16.30 |
chair Ugo Montanari (University of Pisa
Bialgebraic Semantics and Recursion (Invited Talk)
Iteration Monads
|
16.30 17.00 |
Coffee |
17.00 18.30 |
chair Larry Moss (University of Indiana)
From Varieties of Algebras to Covarieties of Coalgebras
Modal Operators for Coequations
Modal Rules are Co-Implications
|
Saturday 7/4 | |
9.30 11.00 |
chair Bart Jacobs (University of Nijmegen)
Cut-Elimination, Program Transformation, and Deforestation
(Invited Talk)
Two-Dimensional Linear Algebra
|
11.00 11.30 |
Coffee |
11.30 13.00 |
chair Dusko Pavlovic (Kestrel Institute, Palo Alto)
Monoid Labeled Transition Systems
Modal Languages for Coalgebras in a Topological Setting
A Calculus of Terms for Coalgebras of Polynomial Functors
|
13.00 14.30 |
Lunch |
14.30 16.00 |
chair Jan Rutten (CWI, Amsterdam)
Generalised Coinduction
Algebras, Coalgebras, Monads and Comonads
Invariants of Monadic Coalgebras
|
16.00 16.30 |
Coffee |
16.30 18.00 |
chair John Power (University of Edinburgh)
From Algebras and Coalgebras to Dialgebras
Process Calculi `a la Bird-Meertens
When is a Function a Fold or an Unfold?
|