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