http://chocola.ens-lyon.fr/events/meeting-2018-02-08 

10:30 – 12:00
    Prakash Panangaden (Mc Gill University, Canada)
    Quantitative Equational Logic 

14:00 – 15:00
    Justin Hsu (University College London, UK)
    From Couplings to Probabilistic Relational Program Logics 

15:30 – 16:30
    Thomas Ehrhard (IRIF, Univ. Paris Diderot)
    Stable and measurable functions on positive cones: a model of probabilistic functional languages with continuous types