Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Search by expertise, name or affiliation
Workshop on Verification of Probabilistic Programs
Matheja, C.
(Organizer)
Department of Applied Mathematics and Computer Science
Software Systems Engineering
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).
Period
12 Aug 2022
Event type
Workshop
Conference number
2
Location
Haifa, Israel
Show on map
Degree of Recognition
International