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

Tue 17 Jan
Times are displayed in 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 ShanIndiana University, USA
16:30 - 16:50
Talk
PPS
Chad ScherrerGalois, Inc.
16:50 - 17:00
Meeting
PPS
17:00 - 17:20
Talk
PPS
17:20 - 17:30
Meeting
PPS
17:30 - 17:50
Talk
PPS
Sam StatonUniversity of Oxford, Hongseok YangUniversity of Oxford, Nathanael L. AckermanHarvard University, Cameron FreerGamalon and Borelian, Daniel Roy
17:50 - 18:00
Meeting
PPS