29 Jun 2022 14:45 - 15:30 Symposium Program Analysis of Probabilistic Programs Maria Gorinova Probabilistic Programming 29 Jun 2022 14:45 - 15:30 Share Facebook Linkedin Copy url Audio-visual RSS
Wednesday 29 June 2022 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot Open to all 14:45 - 15:30 Skip youtube video player Listen to audio Speaker(s) Maria Gorinova Twitter Events Previous Symposium 29 Jun 2022 09:00 - 09:10 Xavier Leroy Introduction and Welcome Symposium 29 Jun 2022 09:15 - 10:00 Andrew D. Gordon Why Statistical Thinking is Transforming Programming Language Research Symposium 29 Jun 2022 10:00 - 11:15 Gilles Barthe Relational Proofs of Probabilistic Programs and Applications to Cryptography Symposium 29 Jun 2022 11:15 - 12:00 Nicolas Chopin Probabilistic Programming for Sequential Monte Carlo? Symposium 29 Jun 2022 14:00 - 14:45 Joseph Tassarotti Formally Verified Compilation of Probabilistic Programs Symposium 29 Jun 2022 14:45 - 15:30 Maria Gorinova Program Analysis of Probabilistic Programs Symposium 29 Jun 2022 16:00 - 16:45 Atılım Güneş Baydin Probabilistic and Differentiable Programming in Scientific Simulators Symposium 29 Jun 2022 16:45 - 17:30 Xavier Rival Towards Verified Stochastic Variational Inference for Probabilistic Programs Symposium 29 Jun 2022 18:00 - 19:00 Andrew Gelman Social Science: From Prediction to Modeling to Understanding Symposium 30 Jun 2022 10:30 - 11:15 Christine Tasson Denotational Verification of Probabilistic Programming Symposium 30 Jun 2022 11:15 - 12:00 Jan-Willem van de Meent Thinking Compositionally about Inference Symposium 30 Jun 2022 14:00 - 14:45 Francis Bach Formal Guarantees in Machine Learning, Statistics and Optimization Symposium 30 Jun 2022 14:45 - 15:30 Guillaume Baudart Reactive Probabilistic Programming Next See also Xavier Leroy, chair Software Science Probabilistic Programming
Symposium 29 Jun 2022 09:15 - 10:00 Andrew D. Gordon Why Statistical Thinking is Transforming Programming Language Research
Symposium 29 Jun 2022 10:00 - 11:15 Gilles Barthe Relational Proofs of Probabilistic Programs and Applications to Cryptography
Symposium 29 Jun 2022 11:15 - 12:00 Nicolas Chopin Probabilistic Programming for Sequential Monte Carlo?
Symposium 29 Jun 2022 14:00 - 14:45 Joseph Tassarotti Formally Verified Compilation of Probabilistic Programs
Symposium 29 Jun 2022 16:00 - 16:45 Atılım Güneş Baydin Probabilistic and Differentiable Programming in Scientific Simulators
Symposium 29 Jun 2022 16:45 - 17:30 Xavier Rival Towards Verified Stochastic Variational Inference for Probabilistic Programs
Symposium 29 Jun 2022 18:00 - 19:00 Andrew Gelman Social Science: From Prediction to Modeling to Understanding
Symposium 30 Jun 2022 10:30 - 11:15 Christine Tasson Denotational Verification of Probabilistic Programming
Symposium 30 Jun 2022 14:00 - 14:45 Francis Bach Formal Guarantees in Machine Learning, Statistics and Optimization