Exchangeable random process and data abstraction ( PPS 2017) - POPL 2017

Sun 15 - Sat 21 January 2017

Who

Sam Staton, Hongseok Yang, Nathanael L. Ackerman, Cameron Freer, Daniel Roy

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 17:30 - 17:50 at Salle 105, Barre 44-54 - Session 5 Chair(s): Chung-chieh Shan

Sam Staton

University of Oxford

Hongseok Yang

University of Oxford

Nathanael L. Ackerman

Harvard University

Cameron Freer

Gamalon and Borelian

United States

Daniel Roy

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

	16:30 - 18:00	Session 5 PPS at Salle 105, Barre 44-54 Chair(s): Chung-chieh Shan Indiana University, USA

	16:30 20m Talk		An exponential family basis for probabilistic programming PPS Chad Scherrer Galois, Inc.
	16:50 10m Meeting		Discussion 7 PPS
	17:00 20m Talk		The semantics of subroutines and iteration in the Bayesian programming language ProBT PPS Raphaël Laurent ProbaYes, Kamel Mekhnacha ProbaYes, Emmanuel Mazer CNRS/LIG, Pierre Bessière CNRS/ISIR
	17:20 10m Meeting		Discussion 8 PPS
	17:30 20m Talk		Exchangeable random process and data abstraction PPS Sam Staton University of Oxford, Hongseok Yang University of Oxford, Nathanael L. Ackerman Harvard University, Cameron Freer Gamalon and Borelian, Daniel Roy
	17:50 10m Meeting		Discussion 9 PPS