French Spring School in Theoretical Computer Science / École de Printemps d'Informatique Théorique

Collection French Spring School in Theoretical Computer Science / École de Printemps d'Informatique Théorique

Organizer(s) Baudart, Guillaume ; Pagani, Michele ; Petrisan, Daniela ; Tasson, Christine

Date(s) 11/05/2026 - 15/05/2026

linked URL https://conferences.cirm-math.fr/3489.html

00:00:00 / 00:00:00

2 5

Expressive probabilistic programming : discrete-time stochastic processes

We will explore how probabilistic programming allows us to express a broad range of concepts from probability and statistics. On the theory side, we will connect with ideas from measure theory and stochastic processes, and with new ideas in Markov categories.

Information about the video

Date of recording 11/05/2026
Date of publication 26/05/2026
Institution CIRM
Licence CC BY NC ND
Language English
Audience Researchers, Graduate Students
Director(s) Guillaume Hennenfent
Format MP4

Citation data

DOI 10.24350/CIRM.V.20481103
Cite this video Staton, Sam (11/05/2026). Expressive probabilistic programming : discrete-time stochastic processes. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.20481103
URL https://dx.doi.org/10.24350/CIRM.V.20481103

Domain(s)

Programming Languages

MSC codes

68Q87 Probability in computer science

Document(s)

https://www.cirm-math.fr/RepOrga/3489/Slides/2026epit1.pdf

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow

All the collection videos

01:27:45

published on May 26, 2026

Applicative bisimulation for higher-order probabilistic languages

By Raphaëlle Crubillé

01:14:40

published on May 26, 2026

Expressive probabilistic programming : discrete-time stochastic processes

By Sam Staton

01:23:06

published on May 26, 2026

Introduction to probabilistic programming

By Christine Tasson

01:24:49

published on May 26, 2026

Algorithmic foundations for exact discrete probabilistic reasoning

By Steven Holtzen

01:26:21

published on May 26, 2026

Ensuring correctness of probabilistic inference by static analysis

By Xavier Rival

Copyright Carmin.tv 2026

Give feedback