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)