Scientific Programme

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