29 juin 2022 18:00 à 19:00 Colloque Social Science: From Prediction to Modeling to Understanding Andrew Gelman Probabilistic Programming 29 juin 2022 18:00 à 19:00 Partager Facebook Linkedin Copier le lien Flux RSS Audiovisuel
Mercredi 29 juin 2022 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot En libre accès, dans la limite des places disponibles 18:00 - 19:00 Sauter le player vidéo Youtube Écouter l'audio Intervenant(s) Andrew Gelman Columbia University Événements Précédent Colloque 29 juin 2022 09:00 à 09:10 Xavier Leroy Introduction and Welcome Colloque 29 juin 2022 09:15 à 10:00 Andrew D. Gordon Why Statistical Thinking is Transforming Programming Language Research Colloque 29 juin 2022 10:00 à 11:15 Gilles Barthe Relational Proofs of Probabilistic Programs and Applications to Cryptography Colloque 29 juin 2022 11:15 à 12:00 Nicolas Chopin Probabilistic Programming for Sequential Monte Carlo? Colloque 29 juin 2022 14:00 à 14:45 Joseph Tassarotti Formally Verified Compilation of Probabilistic Programs Colloque 29 juin 2022 14:45 à 15:30 Maria Gorinova Program Analysis of Probabilistic Programs Colloque 29 juin 2022 16:00 à 16:45 Atılım Güneş Baydin Probabilistic and Differentiable Programming in Scientific Simulators Colloque 29 juin 2022 16:45 à 17:30 Xavier Rival Towards Verified Stochastic Variational Inference for Probabilistic Programs Colloque 29 juin 2022 18:00 à 19:00 Andrew Gelman Social Science: From Prediction to Modeling to Understanding Colloque 30 juin 2022 10:30 à 11:15 Christine Tasson Denotational Verification of Probabilistic Programming Colloque 30 juin 2022 11:15 à 12:00 Jan-Willem van de Meent Thinking Compositionally about Inference Colloque 30 juin 2022 14:00 à 14:45 Francis Bach Formal Guarantees in Machine Learning, Statistics and Optimization Colloque 30 juin 2022 14:45 à 15:30 Guillaume Baudart Reactive Probabilistic Programming Suivant Voir aussi Xavier Leroy, chaire Sciences du logiciel Probabilistic Programming
Colloque 29 juin 2022 09:15 à 10:00 Andrew D. Gordon Why Statistical Thinking is Transforming Programming Language Research
Colloque 29 juin 2022 10:00 à 11:15 Gilles Barthe Relational Proofs of Probabilistic Programs and Applications to Cryptography
Colloque 29 juin 2022 11:15 à 12:00 Nicolas Chopin Probabilistic Programming for Sequential Monte Carlo?
Colloque 29 juin 2022 14:00 à 14:45 Joseph Tassarotti Formally Verified Compilation of Probabilistic Programs
Colloque 29 juin 2022 16:00 à 16:45 Atılım Güneş Baydin Probabilistic and Differentiable Programming in Scientific Simulators
Colloque 29 juin 2022 16:45 à 17:30 Xavier Rival Towards Verified Stochastic Variational Inference for Probabilistic Programs
Colloque 29 juin 2022 18:00 à 19:00 Andrew Gelman Social Science: From Prediction to Modeling to Understanding
Colloque 30 juin 2022 10:30 à 11:15 Christine Tasson Denotational Verification of Probabilistic Programming
Colloque 30 juin 2022 14:00 à 14:45 Francis Bach Formal Guarantees in Machine Learning, Statistics and Optimization