9:00 - 9:10am
Symposium

Introduction and Welcome

Xavier Leroy
Probabilistic Programming
9:00 - 9:10am
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    Open to all, subject to availability
    -

    Speaker(s)

    Xavier Leroy

    Professor at the Collège de France

    Jean-Baptiste Tristan

    Boston College

    Events

    Symposium
    9:00 - 9:10am
    Xavier Leroy

    Introduction and Welcome
    Symposium
    9:15 - 10:00am
    Andrew D. Gordon

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

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

    Probabilistic Programming for Sequential Monte Carlo?
    Symposium
    2:00 - 2:45pm
    Joseph Tassarotti

    Formally Verified Compilation of Probabilistic Programs
    Symposium
    2:45 - 3:30pm
    Maria Gorinova

    Program Analysis of Probabilistic Programs
    Symposium
    4:00 - 4:45pm
    Atılım Güneş Baydin

    Probabilistic and Differentiable Programming in Scientific Simulators
    Symposium
    4:45 - 5:30pm
    Xavier Rival

    Towards Verified Stochastic Variational Inference for Probabilistic Programs
    Symposium
    6:00 - 7:00pm
    Andrew Gelman

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

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

    Thinking Compositionally about Inference
    Symposium
    2:00 - 2:45pm
    Francis Bach

    Formal Guarantees in Machine Learning, Statistics and Optimization
    Symposium
    2:45 - 3:30pm
    Guillaume Baudart

    Reactive Probabilistic Programming

    See also

    Xavier Leroy, chair Software Science
    Probabilistic Programming