Ensuring correctness of probabilistic inference by static analysis
De Xavier Rival
Applicative bisimulation for higher-order probabilistic languages
De Raphaëlle Crubillé
Organising large proofs: techniques, tools, and future
De Georges Gonthier
Waterproof: transforming a proof assistant into an educational tool
De Jim Portegies