Séminaire APRRSS

[Séminaire APR] Sémantique des programmes probabilistes

12.03.2020
Beteiligte : Christine Tasson (Université de Paris)
De nombreux langages de programmations probabilistes ont été développés les dernières années. Ils permettent de décrire des modèles statistiques comme des programmes et de rendre accessible aux programmeurs l'analyse statistique des données. Alors que ces modèles et ces langages sont de plus en plus utilisés dans notre société, leur signification et leur correction sont parfois difficiles à prouver. C'est pourquoi il est nécessaire de développer des méthodes formelles pour les analyser et les certifier.
Dans cet exposé, je commencerai par introduire la programmation probabiliste et les problèmes qui lui sont associés. Je présenterai ensuite des travaux récents en sémantique dénotationnelle des langages de programmations probabilistes.

romain.demangeon (at) nulllip6.fr
Mentions légales
Plan