Building inference algorithms from monad transformers ( PPS 2017) - POPL 2017

Sun 15 - Sat 21 January 2017

Who

Adam Ścibior, Yufei Cai, Klaus Ostermann, Zoubin Ghahramani

Track

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 17 Jan 2017 11:30 - 11:50 at Salle 105, Barre 44-54 - Session 2 Chair(s): Chad Scherrer

Adam Ścibior

University of Cambridge

Yufei Cai

University of Tübingen, Germany

Klaus Ostermann

University of Tübingen, Germany

Germany

Zoubin Ghahramani

University of Cambridge

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 17 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	10:30 - 12:00	Session 2 PPS at Salle 105, Barre 44-54 Chair(s): Chad Scherrer Galois, Inc.

	10:30 20m Talk		An application of computable distributions to the semantics of probabilistic programs: part 2 PPS Daniel Huang Harvard University, Greg Morrisett Cornell University
	10:50 10m Meeting		Discussion 1 PPS
	11:00 20m Talk		Probabilistic programming and a domain theoretic approach to Skorohod's theorem PPS Michael Mislove Tulane
	11:20 10m Meeting		Discussion 2 PPS
	11:30 20m Talk		Building inference algorithms from monad transformers PPS Adam Ścibior University of Cambridge, Yufei Cai University of Tübingen, Germany, Klaus Ostermann University of Tübingen, Germany, Zoubin Ghahramani University of Cambridge
	11:50 10m Meeting		Discussion 3 PPS