Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 4 Avril 2017

Termination of higher-order probabilistic programs

par Charles Grellois (FOCUS team, Bologna)

Higher-order probabilistic programming languages have recently been introduced as a way to describe probabilistic models, that may be used for instance in robotics or in machine learning, and these languages have been successful so far. The programs written in these languages are quite unusual: the fact that they are of higher-order means that they are built from functions, which can take themselves functions as arguments. I will explain in this talk how we can use type theory (a way to annotate the functions with the properties they satisfy) in a way which ensures that the typable programs terminate with probability 1 -- or, in other words, have probability 0 to diverge. I will also explain how we can hope to capture more properties of higher-order probabilistic programs in the future using similar methods.

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr