## 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 |