Andy Gordon Empowering Spreadsheet Users with Probabilistic Programming   (slides)
Catuscia Palamidessi Foundations of Privacy and Quantitative information Flow   (slides)
Christel Baier On classical and non-classical stochastic path problems   (slides)
Frank Wood Inference Compilation and Universal Probabilistic Programming   (slides)
Hongseok Yang Semantics of Higher-Order Probabilistic Programs with Continuous Distributions   (slides)
Javier Esparza Verification of probabilistic infinite-state systems   (slides)
Peter Selinger Quantum Programming   (slides)
Prakash Panangaden Equational reasoning about probabilistic programs   (slides)
Sriram Sankaranarayanan Concentration of Measure Inequalities and Quantitative Analysis of Probabilistic Programs   (slides)
Vitaly Shmatikov Machine Learning Meets Privacy   (slides)
Dexter Kozen Foundations of probabilistic programming: operational and denotational semantics, conservation laws, and duality   (slides)

Frank Wood also provided the following information:
the Anglican homepage; you can use and learn it directly (and quickly) here (click the "getting started guide").