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

Tue 17 Jan

pps-2017
16:30 - 18:00: PPS - Session 5 at Salle 105, Barre 44-54
Chair(s): Chung-chieh ShanIndiana University, USA
pps-201716:30 - 16:50
Talk
Chad ScherrerGalois, Inc.
pps-201716:50 - 17:00
Meeting
pps-201717:00 - 17:20
Talk
pps-201717:20 - 17:30
Meeting
pps-201717:30 - 17:50
Talk
Sam StatonUniversity of Oxford, Hongseok YangUniversity of Oxford, Nathanael L. AckermanHarvard University, Cameron FreerGamalon and Borelian, Daniel Roy
pps-201717:50 - 18:00
Meeting