FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
COALG ON SUNDAY, JULY 8TH

View: session overviewtalk overviewside by side with other conferences

09:00-10:30 Session 34A
09:00
The Method of Coalgebra: Exercises in Coinduction
09:45
Coalgebra meets Convexity in Probabilistic Systems
10:30-11:00Coffee Break
11:00-12:30 Session 38A
Chair:
11:00
Coalgebra and Automated Reasoning
11:45
Coalgebraic Tools for Randomness-Conserving Protocols

ABSTRACT. We propose a coalgebraic model for constructing and reasoning about state-based protocols that implement efficient reductions among random processes. We provide basic tools that allow efficient protocols to be constructed in a compositional way and analyzed in terms of the tradeoff between latency and loss of entropy. We show how to use these tools to construct various entropy-conserving reductions between processes. (Joint work with Matvey Soloviev)

12:30-14:00Lunch Break
14:00-15:30 Session 40A
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
16:00
Martingale-Based Methods for Reachability Probabilities: Excitements and Afterthoughts about Coalgebras
16:45
Coalgebra Dreams