Logic of Probabilistic Programming
Logique de la programmation probabiliste
31 January-4 February, 2022