BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The linear operator semantics of probabilistic programs - Fredrik 
 Dahlqvist\, UCL
DTSTART:20221125T140000Z
DTEND:20221125T150000Z
UID:TALK192347@talks.cam.ac.uk
CONTACT:Jamie Vicary
DESCRIPTION:In this tutorial I will present a semantics for probabilistic 
 programs\nin terms of linear operators. Mathematically\, this is the natur
 al\nuniverse in which to talk about probabilistic transition systems - bot
 h\ndiscrete and continuous - and it therefore makes sense to target this\n
 universe when defining a denotational semantics for probabilistic\nprogram
 ming languages. I will describe how both higher-order functions\nand Bayes
 ian inference can be interpreted in this framework. The focus\nof the tuto
 rial will be on the discrete case which amounts to\nmanipulating matrices\
 , but I will also sketch some of the mathematics\nbehind the general case.
  The linear operator semantics of probabilistic\nprograms is originally du
 e to Dexter Kozen\, and the recent developments\nthat I will describe in t
 his talk are joint work with him too. If time\npermits\, I will also menti
 on some ongoing work on the operational\nsemantics of probabilistic progra
 ms.
LOCATION:SS03
END:VEVENT
END:VCALENDAR