A paper titled “Semantics of Probabilistic Programs using S-Finite Kernels in Coq” written by Affeldt, Cohen and Saito was presented at CPP 2023.