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

blah blah blah

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: SESSION II (3 talks) PPS at Bradbury
Chair(s): Erik Meijer
10:30 - 11:00
Talk
The semantic structure of quasi-Borel spaces: algebra, logic, and recursion
PPS
Chris HeunenUniversity of Edinburgh, Ohad KammarUniversity of Oxford, Sean K. MossUniversity of Cambridge, Adam ŚcibiorUniversity of Cambridge and MPI Tuebingen, Sam StatonUniversity of Oxford, Matthijs VákárUniversity of Oxford, Hongseok YangUniversity of Oxford
11:00 - 11:30
Talk
Stable, measurable functions and probabilistic programs
PPS
Michele PaganiUniversity Paris Diderot, Thomas EhrhardCNRS and University Paris Diderot, Christine TassonUniversity Paris Diderot
11:30 - 12:00
Talk
Formal Methods For Probabilistic Programming
PPS
Daniel SelsamStanford University