Workshop on Verification of Probabilistic Programs

Activity: Attending an eventParticipating in or organising a conference

Description

I was a co-organizer of VeriProP 2022, a sattelite workshop of the Federated Logic Conference 2022 (https://www.floc2022.org).
Period12 Aug 2022
Event typeWorkshop
Conference number2
LocationHaifa, IsraelShow on map
Degree of RecognitionInternational