| Saturday, March 25 |
| Session chair: H. Peter Gumm (Marburg University, Germany) | |
| 14:00 | Observation systems Luís Monteiro (University of Lisbon, Portugal) |
| 14:30 | Coalgebras for binary methods Hendrik Tews (TU Dresden, Germany) |
| 15:00 | Coinduction for recursive data types, partial order and metric spaces James Worrell (Oxford University, UK) |
| Session chair: H. Peter Gumm (Marburg University, Germany) | |
| 16:00 | Coalgebras and Modal Logic Martin Rößiger (TU Dresden, Germany) |
| 16:30 | Distributivity for endofunctors, pointed and co-pointed endofunctors, monads, and comonads Marina Lenisa (University of Udine, Italy), John Power (Edinburgh University, UK), Hiroshi Watanabe (Electrotecnical Laboratory, Amagasaki, Japan) |
|
| Sunday, March 26 |
| Session chair: Ataru T. Nakagawa (Software Research Associates, Inc., Japan) | |
| 9:00 | Towards a Duality Result in the Modal Logic of Coalgebras Bart Jacobs (University of Nijmegen, The Netherlands) |
| 9:30 | On Corelations, Cokernels, and Coequations Uwe Wolter (TU Berlin, Germany) |
| 10:00 | Constraints, Adjunctions and (Co)algebras Ola Angelsmark (University of Linköping, Sweden) |
| Session chair: Ataru T. Nakagawa (Software Research Associates, Inc., Japan) | |
| 11:00 | Coalgebraic Coinduction in (Hyper)set-theoretic Categories Furio Honsell, Marina Lenisa (University of Udine, Italy) |
| 11:30 | Truth-as-Simulation: towards a coalgebraic perspective on logic and games Alexandru Baltag (CWI, Amsterdam, The Netherlands) |
| 12:00 | A Coalgebraic Semantics of Subtyping Erik Poll, (University of Nijmegen, The Netherlands) |
| Session chair: Jan Rutten (CWI, Amsterdam, The Netherlands) | |
| 14:00 | Compositional Constructor Interpretation over Coalgebraic Models for the  -CalculusMichael Baldamus (University of Karlsruhe, Germany) |
| 14:30 | Incompleteness of Behavioral Logics Samuel Buss Grigore Rosu (University of California at San Diego, USA) |
| 15:00 | An Algebra-Coalgeba Framework for System Specification Corina Cirstea (Oxford University, UK) |
| Session chair: Jan Rutten (CWI, Amsterdam, The Netherlands) | |
| 16:00 | Coalgebraic structures from weak limit preserving functors H. Peter Gumm, Tobias Schröder (Marburg University, Germany) |
| 16:30 | Notes on Coalgebra, Cofibration and Concurrency Alexander Kurz, Dirk Pattinson (LMU Munich, Germany) |
