Scientific Programme
| Friday, 26 March 2010 | |
| 14:00–15:00 | Invited speaker: Probabilistic systems coalgebraically slides Ana Sokolova |
| 15:00–15:35 | On Coalgebras over Algebras slides Adriana Balan and Alexander Kurz |
| 15:35–16:10 | From Coalgebraic to Monoidal Traces slides Bart Jacobs |
| 16:10–16:30 | Break |
| 16:30–17:05 | Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics slides Corina Cîrstea |
| 17:05–17:40 | Structural Operational Semantics and Modal Logic, Revisited slides Bartek Klin |
| Saturday, 27 March 2010 | |
| 9:30–10:30 | Invited speaker: Logic and coalgebra slides Dirk Pattinson |
| 10:30–11:00 | Break |
| 11:00–11:35 | Recursive Program Schemes and Context-Free Monads slides Jiří Adámek, Stefan Milius and Jiří Velebil |
| 11:35–12:10 | Categorifying Computations into Components via Arrows as Profunctors slides Kazuyuki Asada and Ichiro Hasuo |
| 12:10–12:45 | Higher-order Algebras and Coalgebras from Parameterized Endofunctors slides Jiho Kim |
| 12:45–14:00 | Lunch |
| 14:00–15:00 | Invited speaker: Operational semantics coalgebraically slides Bartek Klin |
| 15:00–15:20 | Short contribution: Positive structural operational semantics and monotone distributive laws Marcelo Fiore and Sam Staton |
| 15:20–15:40 | Short contribution: Interpretations as coalgebra morphisms slides Manuel Martins, Alexandre Madeira and Luis Barbosa |
| 15:40–16:00 | Short contribution: Algebraic Enriched Coalgebras slides Filippo Bonchi, Marcello Bonsangue, Jan Rutten and Alexandra Silva |
| 16:00–16:30 | Break |
| 16:30–16:50 | Short contribution: Expressivity of Coalgebraic Logic over posets Krzystof Kapulkin, Alexander Kurz and Jiří Velebil |
| 16:50–17:10 | Short contribution: Similarity quotients as final coalgebras slides Paul Levy |
| 17:10–17:40 | Short contribution: Conway Games, algebraically and coalgebraically slides Furio Honsell and Marina Lenisa |
| 19:15–… | Workshop Dinner |
| Sunday, 28 March 2010 | |
| 9:30–10:30 | Invited speaker: Coalgebra in functional programming and type theory slides Venanzio Capretta |
| 10:30–11:00 | Break |
| 11:00–11:20 | Short contribution: Strong Relative Monads slides Tarmo Uustalu |
| 11:20–11:40 | Short contribution: Dynamic coalgebraic modalities slides Helle Hansen and Raul Leal |
| 11:40–12:00 | Short contribution: Pointwise Extensions of GSOS-defined operations slides Helle Hansen and Bartek Klin |
| 12:00–12:20 | Short contribution: Recursive Program Schemes with Effects slides Daniel Schwencke |
| 12:20–12:40 | Short contribution: Rigid structures and their application to the HS = SH problem Tomasz Brengos |
| 12:45–14:00 | Lunch |
| 14:00–14:35 | Coinduction in Concurrent Timed Systems slides Jan Komenda |
| 14:35–15:10 | Applications of Algebra and Coalgebra in Scientific Modelling. Illustrated with the Logistic Map slides Michael Hauhs and Baltasar Trancón y Widemann |
| 15:10–15:45 | Families of Symmetries as Efficient Models of Resource Binding Vincenzo Ciancia, Alexander Kurz and Ugo Montanari |
| Panel Discussion |