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

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