The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
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 languages have been introduced for applications in 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 semantics for probabilistic computing. The aim is to systematize the analysis and certification of probabilistic programs. In this talk, I will first introduce functional probabilistic programing languages lated problems. Then, I will present recent works in semantics of probabilistic computing, based on approximation of programs according to their use of probabilistic resources. Finally I will present future research directions.