Programme

Schedule (and Slides):

09:00-10:30

• Jan Rutten, “The Method of Coalgebra: Exercises in Coinduction” (Slides)
• Ana Sokolova, “Coalgebra meets Convexity in Probabilistic Systems” (Slides)

11:00-12:30

• Ekaterina Komendantskaya, “Coalgebra and Automated Reasoning” (Slides)
• Dexter Kozen, “Coalgebraic Tools for Randomness-Conserving Protocols” (Slides)

14:00-15:30

• Bart Jacobs, “Coalgebras and Kleisli Maps for Probability” (Slides)
• Corina Cirstea, “Coalgebraic Logics: From Branching Time to Linear Time”

16:00-17:30

• Ichiro Hasuo, “Martingale-Based Methods for Reachability Probabilities: Excitements and Afterthoughts about Coalgebras” (Slides)
• Samson Abramsky, “Coalgebra Dreams” (Slides)