LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Links » LIP6 events

Séminaire APRRSS

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


03/12/2020
Speaker(s) : 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
Site map |