10:00 à 11:15
Colloque

Relational Proofs of Probabilistic Programs and Applications to Cryptography

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

    Intervenant(s)

    Gilles Barthe

    Max Planck Institute for Security and Privacy

    Événements

    Colloque
    09:00 à 09:10
    Xavier Leroy

    Introduction and Welcome
    Colloque
    09:15 à 10:00
    Andrew D. Gordon

    Why Statistical Thinking is Transforming Programming Language Research
    Colloque
    10:00 à 11:15
    Gilles Barthe

    Relational Proofs of Probabilistic Programs and Applications to Cryptography
    Colloque
    11:15 à 12:00
    Nicolas Chopin

    Probabilistic Programming for Sequential Monte Carlo?
    Colloque
    14:00 à 14:45
    Joseph Tassarotti

    Formally Verified Compilation of Probabilistic Programs
    Colloque
    14:45 à 15:30
    Maria Gorinova

    Program Analysis of Probabilistic Programs
    Colloque
    16:00 à 16:45
    Atılım Güneş Baydin

    Probabilistic and Differentiable Programming in Scientific Simulators
    Colloque
    16:45 à 17:30
    Xavier Rival

    Towards Verified Stochastic Variational Inference for Probabilistic Programs
    Colloque
    18:00 à 19:00
    Andrew Gelman

    Social Science: From Prediction to Modeling to Understanding
    Colloque
    10:30 à 11:15
    Christine Tasson

    Denotational Verification of Probabilistic Programming
    Colloque
    11:15 à 12:00
    Jan-Willem van de Meent

    Thinking Compositionally about Inference
    Colloque
    14:00 à 14:45
    Francis Bach

    Formal Guarantees in Machine Learning, Statistics and Optimization
    Colloque
    14:45 à 15:30
    Guillaume Baudart

    Reactive Probabilistic Programming

    Voir aussi

    Xavier Leroy, chaire Sciences du logiciel
    Probabilistic Programming