30 Jun 2022 10:30 - 11:15 Symposium Denotational Verification of Probabilistic Programming Christine Tasson Probabilistic Programming 30 Jun 2022 10:30 - 11:15 Share Facebook X (ex-Twitter) Linkedin Copy url Audio-visual RSS
Thursday 30 June 2022 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot Open to all 10:30 - 11:15 Skip youtube video player Video URL Listen to audio Speaker(s) Christine Tasson Sorbonne University See also Xavier Leroy, chair Software Science Probabilistic Programming Events Previous event in the series Symposium 18:00 - 19:00 Social Science: From Prediction to Modeling to Understanding Andrew Gelman 29 Jun 2022 Probabilistic Programming Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 Jun 2022 18:00 - 19:00 Next event in the series Symposium 11:15 - 12:00 Thinking Compositionally about Inference Jan-Willem van de Meent 30 Jun 2022 Probabilistic Programming Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Jun 2022 11:15 - 12:00
Symposium 18:00 - 19:00 Social Science: From Prediction to Modeling to Understanding Andrew Gelman 29 Jun 2022 Probabilistic Programming Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 Jun 2022 18:00 - 19:00
Symposium 11:15 - 12:00 Thinking Compositionally about Inference Jan-Willem van de Meent 30 Jun 2022 Probabilistic Programming Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Jun 2022 11:15 - 12:00