30 juin 2022 10:30 à 11:15 Colloque Denotational Verification of Probabilistic Programming Christine Tasson Probabilistic Programming 30 juin 2022 10:30 à 11:15 Partager Facebook X (ex-Twitter) Linkedin Copier le lien Flux RSS Audiovisuel
Jeudi 30 juin 2022 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot En libre accès, dans la limite des places disponibles 10:30 - 11:15 Sauter le player vidéo Youtube URL de la vidéo Écouter l'audio Intervenant(s) Christine Tasson Sorbonne University Voir aussi Xavier Leroy, chaire Sciences du logiciel Probabilistic Programming Événements Événement Précédent dans le cycle Colloque 18:00 - 19:00 Social Science: From Prediction to Modeling to Understanding Andrew Gelman 29 juin 2022 Probabilistic Programming Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 juin 2022 18:00 - 19:00 Événement Suivant dans le cycle Colloque 11:15 - 12:00 Thinking Compositionally about Inference Jan-Willem van de Meent 30 juin 2022 Probabilistic Programming Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 juin 2022 11:15 - 12:00
Colloque 18:00 - 19:00 Social Science: From Prediction to Modeling to Understanding Andrew Gelman 29 juin 2022 Probabilistic Programming Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 juin 2022 18:00 - 19:00
Colloque 11:15 - 12:00 Thinking Compositionally about Inference Jan-Willem van de Meent 30 juin 2022 Probabilistic Programming Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 juin 2022 11:15 - 12:00