BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Context Equivalences and Metrics in Probabilistic Lambda-Calculi -
  Ugo Dal Lago\, University of Bologna
DTSTART:20161021T130000Z
DTEND:20161021T140000Z
UID:TALK65195@talks.cam.ac.uk
CONTACT:Dominic Mulligan
DESCRIPTION:Probabilistic models are more and more pervasive in computer s
 cience\, and randomized algorithms are the ones offering the best performa
 nces in many domains. Higher-order probabilistic computation – in which 
 probabilistic functions may be passed as a parameters and returned as resu
 lts – is on the other hand a relatively underdeveloped field\, which is 
 however receiving more and more attention. We give a survey of what is kno
 wn about the probabilistic lambda-calculi\, later focusing on some of our 
 recent results on coinductive techniques for proving program equivalent an
 d for evaluating their distance. Finally\, we hint at how all this could b
 e useful when structuring proofs of security for cryptographic primitives.
LOCATION:FW26
END:VEVENT
END:VCALENDAR