Collège de France

  • menu
  • FR
  • EN
  • Probabilistic Programming Présentation
  • 29 juin 2022 09:00 09:15 Colloque Introduction and Welcome Xavier Leroy (Collège de France) and Jean-Baptiste Tristan (Boston College)
  • 29 juin 2022 09:15 10:00 Colloque Why Statistical Thinking is Transforming Programming Language Research Andrew D. Gordon
  • 29 juin 2022 10:00 11:15 Colloque Relational Proofs of Probabilistic Programs and Applications to Cryptography Gilles Barthe
  • 29 juin 2022 11:15 12:00 Colloque Probabilistic Programming for Sequential Monte Carlo? Nicolas Chopin
  • 29 juin 2022 14:00 14:45 Colloque Formally Verified Compilation of Probabilistic Programs Joseph Tassarotti
  • 29 juin 2022 14:45 15:30 Colloque Program Analysis of Probabilistic Programs Maria Gorinova
  • 29 juin 2022 16:00 16:45 Colloque Probabilistic and Differentiable Programming in Scientific Simulators Atılım Güneş Baydin
  • 29 juin 2022 16:45 17:30 Colloque Towards Verified Stochastic Variational Inference for Probabilistic Programs Xavier Rival
  • 29 juin 2022 18:00 19:00 Colloque Social Science: From Prediction to Modeling to Understanding Andrew Gelman
  • 30 juin 2022 09:15 10:00 Colloque On an Alternate Route to Scaling AI via Probabilistic Programs Vikash K. Mansinghka
  • 30 juin 2022 10:30 11:15 Colloque Denotational Verification of Probabilistic Programming Christine Tasson
  • 30 juin 2022 11:15 12:00 Colloque Thinking Compositionally about Inference Jan-Willem van de Meent
  • 30 juin 2022 14:00 14:45 Colloque Formal Guarantees in Machine Learning, Statistics and Optimization Francis Bach
  • 30 juin 2022 14:45 15:30 Colloque Reactive Probabilistic Programming Guillaume Baudart