Aller au contenu principal

Rechercher

Accès rapides

Agenda
Audios & vidéos
Chaires

EN

EN

Navigation principale

Les enseignements
Recherche
Bibliothèques
Éditions
Le Collège de France

Accès rapides

Agenda
Audios & vidéos
Chaires

29 juin 2022

10:00 à 11:15

Colloque

Relational Proofs of Probabilistic Programs and Applications to Cryptography

Gilles Barthe

Probabilistic Programming

29 juin 2022

10:00 à 11:15

Facebook
Linkedin
Copier le lien
Flux RSS Audiovisuel

Mercredi 29 juin 2022

Amphithéâtre Guillaume Budé, Site Marcelin Berthelot

En libre accès, dans la limite des places disponibles

10:00 - 11:15

Sauter le player vidéo Youtube

Écouter l'audio

Intervenant(s)

Gilles Barthe

Max Planck Institute for Security and Privacy

Événements

Introduction and Welcome

Andrew D. Gordon

Why Statistical Thinking is Transforming Programming Language Research

Relational Proofs of Probabilistic Programs and Applications to Cryptography

Probabilistic Programming for Sequential Monte Carlo?

Joseph Tassarotti

Formally Verified Compilation of Probabilistic Programs

Program Analysis of Probabilistic Programs

Atılım Güneş Baydin

Probabilistic and Differentiable Programming in Scientific Simulators

Towards Verified Stochastic Variational Inference for Probabilistic Programs

Social Science: From Prediction to Modeling to Understanding

Christine Tasson

Denotational Verification of Probabilistic Programming

Jan-Willem van de Meent

Thinking Compositionally about Inference

Formal Guarantees in Machine Learning, Statistics and Optimization

Guillaume Baudart

Reactive Probabilistic Programming

Voir aussi

Xavier Leroy, chaire Sciences du logiciel

Probabilistic Programming

Fil d'Ariane

Accueil
Chaires actuelles
Xavier Leroy, chaire Sciences du logiciel
Enseignements
Probabilistic Programming
Relational Proofs of Probabilistic Programs and Applications to Cryptography

Accès direct

Agenda
Audios & vidéos
Actualités
Presse et kit logo
Le Collège en 10 questions
Formation doctorale
Travailler au Collège de France
Marchés publics
La Lettre du Collège
Visiter le Collège de France
Mécènes et donateurs

Nos autres sites

Intranet
Omnia
Salamandre
Fondation du Collège de France
Programme PAUSE
Avenir Commun Durable
La Vie des idées
Campus de l’innovation pour les lycées

S’inscrire à notre lettre d’information

Nous suivre

Faire un don

Footer menu

Accès et contacts
Mentions légales
Crédits
Accessibilité : non conforme