- Probabilistic Programming Presentation
- 29 June 2022 9:00 am 9:15 am Symposium Introduction and Welcome Xavier Leroy (Collège de France) and Jean-Baptiste Tristan (Boston College)
- 29 June 2022 9:15 am 10:00 am Symposium Why Statistical Thinking is Transforming Programming Language Research Andrew D. Gordon
- 29 June 2022 10:00 am 11:15 am Symposium Relational Proofs of Probabilistic Programs and Applications to Cryptography Gilles Barthe
- 29 June 2022 11:15 am 12:00 pm Symposium Probabilistic Programming for Sequential Monte Carlo? Nicolas Chopin
- 29 June 2022 2:00 pm 2:45 pm Symposium Formally Verified Compilation of Probabilistic Programs Joseph Tassarotti
- 29 June 2022 2:45 pm 3:30 pm Symposium Program Analysis of Probabilistic Programs Maria Gorinova
- 29 June 2022 4:00 pm 4:45 pm Symposium Probabilistic and Differentiable Programming in Scientific Simulators Atılım Güneş Baydin
- 29 June 2022 4:45 pm 5:30 pm Symposium Towards Verified Stochastic Variational Inference for Probabilistic Programs Xavier Rival
- 29 June 2022 6:00 pm 7:00 pm Symposium Social Science: From Prediction to Modeling to Understanding Andrew Gelman
- 30 June 2022 9:15 am 10:00 am Symposium On an Alternate Route to Scaling AI via Probabilistic Programs Vikash K. Mansinghka
- 30 June 2022 10:30 am 11:15 am Symposium Denotational Verification of Probabilistic Programming Christine Tasson
- 30 June 2022 11:15 am 12:00 pm Symposium Thinking Compositionally about Inference Jan-Willem van de Meent
- 30 June 2022 2:00 pm 2:45 pm Symposium Formal Guarantees in Machine Learning, Statistics and Optimization Francis Bach
- 30 June 2022 2:45 pm 3:30 pm Symposium Reactive Probabilistic Programming Guillaume Baudart