10:00 to 11:15
Symposium

Relational Proofs of Probabilistic Programs and Applications to Cryptography

Gilles Barthe
Probabilistic Programming
10:00 to 11:15
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    Open to all, subject to availability
    -

    Speaker(s)

    Gilles Barthe

    Max Planck Institute for Security and Privacy

    Events

    Symposium
    09:00 to 09:10
    Xavier Leroy

    Introduction and Welcome
    Symposium
    09:15 to 10:00
    Andrew D. Gordon

    Why Statistical Thinking is Transforming Programming Language Research
    Symposium
    10:00 to 11:15
    Gilles Barthe

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

    Probabilistic Programming for Sequential Monte Carlo?
    Symposium
    14:00 to 14:45
    Joseph Tassarotti

    Formally Verified Compilation of Probabilistic Programs
    Symposium
    14:45 to 15:30
    Maria Gorinova

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

    Probabilistic and Differentiable Programming in Scientific Simulators
    Symposium
    16:45 to 17:30
    Xavier Rival

    Towards Verified Stochastic Variational Inference for Probabilistic Programs
    Symposium
    18:00 to 19:00
    Andrew Gelman

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

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

    Thinking Compositionally about Inference
    Symposium
    14:00 to 14:45
    Francis Bach

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

    Reactive Probabilistic Programming

    See also

    Xavier Leroy, chair Software Science
    Probabilistic Programming