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