BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Interventions and Counterfactuals for the Working Programmer - Dar
 io Stein (Radboud University)
DTSTART:20250328T140000Z
DTEND:20250328T150000Z
UID:TALK229018@talks.cam.ac.uk
CONTACT:Ioannis Markakis
DESCRIPTION:Correlation famously does not imply causation! But how then ca
 n we answer interventional questions such as "Does smoking cause cancer?" 
 or even counterfactual ones as "If I had left one minute earlier\, would I
  have managed to arrive on time?" This is the subject of Causal Inference\
 , as pioneered and formalized by Judea Pearl. In my talk\, I want to focus
  on how such problems can be modelled and solved using tools from programm
 ing languages theory.\n\nI will aim to give a general introduction to caus
 al inference from a programmer's point of view. I will then present work-i
 n-progress from an ongoing collaboration dedicated to the extension of a p
 robabilistic programming language to a causal probabilistic programming la
 nguage\; this includes operational semantics\, a type system and denotatio
 nal semantics using graded monads.
LOCATION:SS03\, Computer Laboratory
END:VEVENT
END:VCALENDAR