Workshop on Verification of Probabilistic Programs

Activity: Attending an event › Participating 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