29 juin 2022 14:45 à 15:30 Colloque Program Analysis of Probabilistic Programs Maria Gorinova Probabilistic Programming 29 juin 2022 14:45 à 15:30 Partager Facebook LinkedIn Bluesky Threads 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 14:45 - 15:30 Sauter le player vidéo Youtube Écouter l'audio Intervenant(s) Maria Gorinova Twitter É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