The semantic structure of quasi-Borel spaces: algebra, logic, and recursion ( PPS 2018 - Probabilistic Programming Languages, Semantics, and Systems (PPS 2018))

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Who

Chris Heunen, Ohad Kammar, Sean Moss, Adam Ścibior, Sam Staton, Matthijs Vákár, Hongseok Yang

Track

PPS 2018

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

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

Abstract

blah blah blah

Chris Heunen

University of Edinburgh

Ohad Kammar

University of Oxford

United Kingdom

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

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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