Context Equivalences and Metrics in Probabilistic Lambda-Calculi

Add to your list(s) Download to your calendar using vCal

• Ugo Dal Lago, University of Bologna
• Friday 21 October 2016, 14:00-15:00
• FW26.

If you have a question about this talk, please contact Dominic Mulligan.

Probabilistic models are more and more pervasive in computer science, and randomized algorithms are the ones offering the best performances in many domains. Higher-order probabilistic computation – in which probabilistic functions may be passed as a parameters and returned as results – is on the other hand a relatively underdeveloped field, which is however receiving more and more attention. We give a survey of what is known about the probabilistic lambda-calculi, later focusing on some of our recent results on coinductive techniques for proving program equivalent and for evaluating their distance. Finally, we hint at how all this could be useful when structuring proofs of security for cryptographic primitives.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• FW26
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.