25/05/2022 – Talk: “Towards an Intermediate Verification Language for Probabilistic Programs” by Christoph Matheja
Christoph Matheja will give a talk about his work on Towards an Intermediate Verification Language for Probabilistic Programs. Details below. SPEAKER Christoph Matheja, Assit. Prof., DTU. TITLE Towards an Intermediate Verification Language for Probabilistic Programs ABSTRACT Probabilistic programs offer a structured way to describe computations with access to a source of randomness. They appear naturally […]
Read More