The semantics of subroutines and iteration in the Bayesian programming language ProBT ( PPS 2017) - POPL 2017

Sun 15 - Sat 21 January 2017

Who

Raphaël Laurent, Kamel Mekhnacha, Emmanuel Mazer, Pierre Bessière

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

Raphaël Laurent

ProbaYes

Kamel Mekhnacha

ProbaYes

Emmanuel Mazer

CNRS/LIG

Pierre Bessière

CNRS/ISIR

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