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

All the collection videos (5)

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

Mathematics
and Interactions

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

Not Only Scalar Curvature Seminar

Algorithmics and programming / Algorithmique et programmation

Algorithmics and programming / Algorithmique et programmation

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

Applicative bisimulation for higher-order probabilistic languages

Expressive probabilistic programming : discrete-time stochastic processes

Introduction to probabilistic programming

Algorithmic foundations for exact discrete probabilistic reasoning

Ensuring correctness of probabilistic inference by static analysis

Méthodes formelles et sécurité des trains

Drawing curves on surfaces or: how I learned to stop worrying and love train-tracks

Organising large proofs: techniques, tools, and future

Waterproof: transforming a proof assistant into an educational tool

Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence