Guillaume Baudart (IRIF, INRIA Paris) : Des langages de programmation probabilistes pour le raisonnement Bayesien.

Résumé : La programmation probabiliste est un paradigme qui a connu un essor important ces dernières années. Un programme probabiliste manipule des variables aléatoires qui peuvent être conditionnées par des observations statistiques. Des méthodes d'inférence automatiques permettent ensuite de calculer la distribution décrite par un programme. Les langages probabilistes sont aujourd'hui utilisés dans des domaines allant de la vision par ordinateur et la robotique à la santé et aux sciences sociales. Dans cet exposé, je présenterai les bases de la programmation probabiliste avant d'illustrer quelques développement récents à l'intersection de plusieurs domaines: sémantique, analyse statique et apprentissage automatique