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