10:00 - 11:15am
Symposium

Relational Proofs of Probabilistic Programs and Applications to Cryptography

Gilles Barthe
Probabilistic Programming
10:00 - 11:15am
    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

    Introduction and Welcome
    Xavier Leroy

    Symposium
    9:00 - 9:10am

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

    Symposium
    9:15 - 10:00am

    Relational Proofs of Probabilistic Programs and Applications to Cryptography
    Gilles Barthe

    Symposium
    10:00 - 11:15am

    Probabilistic Programming for Sequential Monte Carlo?
    Nicolas Chopin

    Symposium
    11:15am - 12:00pm

    Formally Verified Compilation of Probabilistic Programs
    Joseph Tassarotti

    Symposium
    2:00 - 2:45pm

    Program Analysis of Probabilistic Programs
    Maria Gorinova

    Symposium
    2:45 - 3:30pm

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

    Symposium
    4:00 - 4:45pm

    Towards Verified Stochastic Variational Inference for Probabilistic Programs
    Xavier Rival

    Symposium
    4:45 - 5:30pm

    Social Science: From Prediction to Modeling to Understanding
    Andrew Gelman

    Symposium
    6:00 - 7:00pm

    Denotational Verification of Probabilistic Programming
    Christine Tasson

    Symposium
    10:30 - 11:15am

    Thinking Compositionally about Inference
    Jan-Willem van de Meent

    Symposium
    11:15am - 12:00pm

    Formal Guarantees in Machine Learning, Statistics and Optimization
    Francis Bach

    Symposium
    2:00 - 2:45pm

    Reactive Probabilistic Programming
    Guillaume Baudart

    Symposium
    2:45 - 3:30pm

    See also

    Xavier Leroy, chair Software Science
    Probabilistic Programming