Evènement pour le groupe Séminaire Méthodes Formelles
|Date|| 2019-12-03 14:00-15:00|
|Titre||Semantics of Functional Probabilistic Programs |
|Résumé||Probabilities are extensively used in Computer Science. Algorithms use probabilistic choices for solving problems that are untracktable deterministically or for improving efficiency. Recently, (Functional) Probabilistic Programming has been introduced for applications in Machine Learning and Artificial Intelligence. Probabilistic programs are used to describe statistical models and for developing probabilistic data analysis.
As decisions in our society are often based on statistical models, it has become crucial to develop formal methods for probabilistic computing. The aim is to systemetize the analysis and certification of probabilistic programs.
In this talk, I will first introduce functional probabilistic programing and the related problems. Then, I will present recent works in denotational semantics of probabilistic computing and their applications. |
|Orateur||Christine Tasson |
|Email|| email@example.com |
|Url||IRIF, Paris 7 |
Aucun document lié à cet événement.RetourRetour à l'index