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

Sat 21 Jan

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