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