POPL 2017
Sun 15 - Sat 21 January 2017
Tue 17 Jan 2017 17:30 - 17:50 at Salle 105, Barre 44-54 - Session 5 Chair(s): Chung-chieh Shan

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