POPL 2017
Sun 15 - Sat 21 January 2017
Tue 17 Jan 2017 10:30 - 10:50 at Salle 105, Barre 44-54 - Session 2 Chair(s): Chad Scherrer

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

10:30 - 12:00: Session 2 PPS at Salle 105, Barre 44-54
Chair(s): Chad ScherrerGalois, Inc.
10:30 - 10:50
Talk
PPS
Daniel HuangHarvard University, Greg MorrisettCornell University
10:50 - 11:00
Meeting
PPS
11:00 - 11:20
Talk
PPS
11:20 - 11:30
Meeting
PPS
11:30 - 11:50
Talk
PPS
Adam ŚcibiorUniversity of Cambridge, Yufei CaiUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany, Zoubin GhahramaniUniversity of Cambridge
11:50 - 12:00
Meeting
PPS