Séminaire APR
[Séminaire APR] Sémantique des programmes probabilistes
Thursday, March 12, 2020Christine 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