October 4th, 2018. Institut Henri Poincaré, Room 1.
__________________________________________________________
10:00-10:30 Matteo Mio. Logics for bisimulation metrics.
10:30-11:00 Valentina Castiglioni. A Logical Characterization of Differential Privacy via Behavioral Metrics.
Coffee break
11h30-12:00 Ugo Dal Lago. How Far Should Those Programs Be?
12h00-12:30 Francesco Gavazzo. Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances.
Lunch
14:00-14:30 Vincent Danos. Borel kernels and their approximation, categorically.
14:30-15:30 Catuscia Palamidessi. Rehearsal of the presentation for the mid-term review
Coffee break
16:00-17:00 Business meeting