POPL 2017
Sun 15 - Sat 21 January 2017
Tue 17 Jan 2017 18:45 - 19:05 at Salle 105, Barre 44-54 - Session 6 Chair(s): Hongseok Yang

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

18:15 - 19:15: Session 6 PPS at Salle 105, Barre 44-54
Chair(s): Hongseok YangUniversity of Oxford
18:15 - 18:35
Talk
PPS
Ernie CohenAmazon Web Services
18:35 - 18:45
Meeting
PPS
18:45 - 19:05
Talk
PPS
Edwin WestbrookGalois, Inc., Chad ScherrerGalois, Inc., Nathan CollinsGalois, Inc., Eric MertensGalois, Inc.
19:05 - 19:15
Meeting
PPS