2 December 2021

Verifiability Talk 23: “On Synthesizing Probabilistic Programs”

Speaker: Joost-Pieter Katoen (Aachen University)
Title: “On Synthesizing Probabilistic Programs”
Date: 2/12/2021 – Meeting Link
Time: 16:00-17:00 (UTC (GMT))