FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
COALG PROGRAM
Sunday, July 8th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 34A
Chair:
Helle Hvid Hansen
Location: Blavatnik Seminar Room 3
09:00
Jan Rutten
The Method of Coalgebra: Exercises in Coinduction (abstract)
09:45
Ana Sokolova
Coalgebra meets Convexity in Probabilistic Systems (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 38A
Chair:
Jan Rutten
Location: Blavatnik Seminar Room 3
11:00
Ekaterina Komendantskaya
Coalgebra and Automated Reasoning (abstract)
11:45
Dexter Kozen
Coalgebraic Tools for Randomness-Conserving Protocols (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 40A
Chair:
Ana Sokolova
Location: Blavatnik Seminar Room 3
14:00
Bart Jacobs
Coalgebras and Kleisli Maps for Probability (abstract)
14:45
Corina Cirstea
Coalgebraic Logics: From Branching Time to Linear Time (abstract)
15:30-16:00Coffee Break
16:00-18:00 Session 42A
Chair:
Fabio Zanasi
Location: Blavatnik Seminar Room 3
16:00
Ichiro Hasuo
Martingale-Based Methods for Reachability Probabilities: Excitements and Afterthoughts about Coalgebras (abstract)
16:45
Samson Abramsky
Coalgebra Dreams (abstract)