Colloque en anglais, organisé par Xavier Leroy et Jean-Baptiste Tristan.
Programmation probabiliste
La programmation probabiliste fournit de puissants outils pour la modélisation statistique. Elle s'appuie sur la sémantique formelle, les compilateurs, et autres outils en provenance des langages de programmation pour construire des évaluateurs efficaces pour les modèles et les applications en apprentissage statistique, utilisant les théories et les algorithmes d'inférence provenant des statistiques. Ce colloque croisera les points de vue de chercheurs en langages de programmation, en statistiques, et en apprentissage sur les progrès récents et les applications de la programmation probabiliste.
