Tue 9 Jan 2018 10:30 - 11:00 at Bradbury - SESSION II (3 talks) Chair(s): Erik Meijer

blah blah blah

Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
SESSION II (3 talks) PPS at Bradbury
Chair(s): Erik Meijer
10:30
30m
Talk
The semantic structure of quasi-Borel spaces: algebra, logic, and recursion
PPS
Chris Heunen University of Edinburgh, Ohad Kammar University of Oxford, Sean Moss University of Oxford, Adam Ścibior University of Cambridge and MPI Tuebingen, Sam Staton University of Oxford, Matthijs Vákár University of Oxford, Hongseok Yang University of Oxford
11:00
30m
Talk
Stable, measurable functions and probabilistic programs
PPS
Michele Pagani University Paris Diderot, Thomas Ehrhard CNRS and University Paris Diderot, Christine Tasson University Paris Diderot
11:30
30m
Talk
Formal Methods For Probabilistic Programming
PPS
Daniel Selsam Stanford University