Progic 2021: Combining Probability and Logic, 31 August – 3 September (virtual). tr 2021, 15 (5).