Laura Kovacs is an invited speaker at VeriProP 2021: a workshop on Verification of Probabilistic Programs July 19th, co-located with CAV 2021.

Website of VeriProP 2021, co-located with CAV 2021