Stable, measurable functions and probabilistic programs ( PPS 2018 - Probabilistic Programming Languages, Semantics, and Systems (PPS 2018)) - POPL 2018

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

Who

Michele Pagani, Thomas Ehrhard, Christine Tasson

Track

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

When

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

Abstract

blah blah blah

Michele Pagani

University Paris Diderot

France

Thomas Ehrhard

CNRS and University Paris Diderot

Christine Tasson

University Paris Diderot

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

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