POPL 2017
Sun 15 - Sat 21 January 2017
Tue 17 Jan 2017 17:00 - 18:00 at Salle 107, Barre 44-54 - Session IV

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

16:00 - 18:00: Session IVPLMW at Salle 107, Barre 44-54
16:00 - 16:30
Talk
PLMW
Martin VechevETH Zurich
File Attached
16:30 - 17:00
Talk
PLMW
Benjamin C. PierceUniversity of Pennsylvania
File Attached
17:00 - 18:00
Talk
PLMW
Roopsha SamantaPurdue University, Nada AminEPFL, Jonathan ProtzenkoMicrosoft Research, Zachary KincaidPrinceton University