COALG ON SUNDAY, JULY 8TH
View: session overviewtalk overviewside by side with other conferences
09:00-10:30 Session 34A
Chair:
Location: Blavatnik Seminar Room 3
09:00 | The Method of Coalgebra: Exercises in Coinduction |
09:45 |
10:30-11:00Coffee Break
11:00-12:30 Session 38A
Chair:
Location: Blavatnik Seminar Room 3
12:30-14:00Lunch Break
14:00-15:30 Session 40A
Chair:
Location: Blavatnik Seminar Room 3
14:00 | Coalgebras and Kleisli Maps for Probability |
14:45 | Coalgebraic Logics: From Branching Time to Linear Time |
15:30-16:00Coffee Break
16:00-18:00 Session 42A
Chair:
Location: Blavatnik Seminar Room 3
16:00 | Martingale-Based Methods for Reachability Probabilities: Excitements and Afterthoughts about Coalgebras |
16:45 | Coalgebra Dreams |