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

    Introduction and Welcome
    Xavier Leroy

    Symposium
    09:00 to 09:10

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

    Symposium
    09:15 to 10:00

    Relational Proofs of Probabilistic Programs and Applications to Cryptography
    Gilles Barthe

    Symposium
    10:00 to 11:15

    Probabilistic Programming for Sequential Monte Carlo?
    Nicolas Chopin

    Symposium
    11:15 to 12:00

    Formally Verified Compilation of Probabilistic Programs
    Joseph Tassarotti

    Symposium
    14:00 to 14:45

    Program Analysis of Probabilistic Programs
    Maria Gorinova

    Symposium
    14:45 to 15:30

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

    Symposium
    16:00 to 16:45

    Towards Verified Stochastic Variational Inference for Probabilistic Programs
    Xavier Rival

    Symposium
    16:45 to 17:30

    Social Science: From Prediction to Modeling to Understanding
    Andrew Gelman

    Symposium
    18:00 to 19:00

    Denotational Verification of Probabilistic Programming
    Christine Tasson

    Symposium
    10:30 to 11:15

    Thinking Compositionally about Inference
    Jan-Willem van de Meent

    Symposium
    11:15 to 12:00

    Formal Guarantees in Machine Learning, Statistics and Optimization
    Francis Bach

    Symposium
    14:00 to 14:45

    Reactive Probabilistic Programming
    Guillaume Baudart

    Symposium
    14:45 to 15:30

    See also

    Xavier Leroy, chair Software Science
    Probabilistic Programming