10:30 à 11:15
Colloque

Denotational Verification of Probabilistic Programming

Christine Tasson
Probabilistic Programming
10:30 à 11:15
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    En libre accès, dans la limite des places disponibles
    -

    Intervenant(s)

    Christine Tasson

    Sorbonne University

    Événements

    Introduction and Welcome
    Xavier Leroy

    Colloque
    09:00 à 09:10

    Why Statistical Thinking is Transforming Programming Language Research
    Andrew D. Gordon

    Colloque
    09:15 à 10:00

    Relational Proofs of Probabilistic Programs and Applications to Cryptography
    Gilles Barthe

    Colloque
    10:00 à 11:15

    Probabilistic Programming for Sequential Monte Carlo?
    Nicolas Chopin

    Colloque
    11:15 à 12:00

    Formally Verified Compilation of Probabilistic Programs
    Joseph Tassarotti

    Colloque
    14:00 à 14:45

    Program Analysis of Probabilistic Programs
    Maria Gorinova

    Colloque
    14:45 à 15:30

    Probabilistic and Differentiable Programming in Scientific Simulators
    Atılım Güneş Baydin

    Colloque
    16:00 à 16:45

    Towards Verified Stochastic Variational Inference for Probabilistic Programs
    Xavier Rival

    Colloque
    16:45 à 17:30

    Social Science: From Prediction to Modeling to Understanding
    Andrew Gelman

    Colloque
    18:00 à 19:00

    Denotational Verification of Probabilistic Programming
    Christine Tasson

    Colloque
    10:30 à 11:15

    Thinking Compositionally about Inference
    Jan-Willem van de Meent

    Colloque
    11:15 à 12:00

    Formal Guarantees in Machine Learning, Statistics and Optimization
    Francis Bach

    Colloque
    14:00 à 14:45

    Reactive Probabilistic Programming
    Guillaume Baudart

    Colloque
    14:45 à 15:30

    Voir aussi

    Xavier Leroy, chaire Sciences du logiciel
    Probabilistic Programming