VeriProP 2024
Michele Chiari co-chaired VeriProP 2024
Michele Chiari co-chaired and co-organized VeriProP 2024, the 4th Workshop on Verification of Probabilistic Programs, co-located with CAV 2024.
The workshop offered a compelling scientific program, including keynotes by Mirco Giacobbe, Jan Hoffmann, and Steven Holtzen.
For more information about the program and speakers, see the workshop’s official website.