POPL 2017
Sun 15 - Sat 21 January 2017
Sat 21 Jan 2017 09:15 - 10:00 at Salle 107, Barre 44-54 - Session I Chair(s): Victor Vianu

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

09:00 - 10:00: Session IRDP at Salle 107, Barre 44-54
Chair(s): Victor VianuUC San Diego
09:00 - 09:15
Talk
RDP
Nate FosterCornell University, Mooly SagivTel Aviv University, Victor VianuUC San Diego
09:15 - 10:00
Talk
RDP