POPL 2017
Sun 15 - Sat 21 January 2017
VenueParis Jussieu
Room nameSalle 107, Barre 44-54
Floor2
Room number107
Capacity80
Additional information

This room is located in barre 44-54.

Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

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

09:00 - 12:00: Lean (AM)Tutorials at Salle 107, Barre 44-54
09:00 - 12:00
Talk
Tutorials
Leonardo De MouraMicrosoft Research, Redmond, Gabriel EbnerVienna University of Technology, Jared RoeschUniversity of Washington, USA, Sebastian UllrichKarlsruhe Institute of Technology
14:00 - 17:00: Lean (PM)Tutorials at Salle 107, Barre 44-54
14:00 - 17:00
Talk
Tutorials
Leonardo De MouraMicrosoft Research, Redmond, Gabriel EbnerVienna University of Technology, Jared RoeschUniversity of Washington, USA, Sebastian UllrichKarlsruhe Institute of Technology

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

08:50 - 09:00: Welcome SessionPLMW at Salle 107, Barre 44-54
08:50 - 09:00
Day opening
PLMW
10:30 - 12:00: Session IIPLMW at Salle 107, Barre 44-54
10:30 - 11:00
Talk
PLMW
Michael HicksUniversity of Maryland at College Park, USA
File Attached
11:00 - 11:30
Talk
PLMW
Brigitte PientkaMcGill University
File Attached
11:30 - 12:00
Talk
PLMW
Nikhil SwamyMicrosoft Research
File Attached
14:00 - 15:30: Session IIIPLMW at Salle 107, Barre 44-54
14:00 - 15:00
Talk
PLMW
Eva DarulovaMPI-SWS, Loris D'AntoniUniversity of Wisconsin–Madison, Alexandra SilvaUniversity College London, Dimitrios VytiniotisMicrosoft Research, Cambridge
15:00 - 15:30
Talk
PLMW
File Attached
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

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
14:00 - 15:30: Session IIIRDP at Salle 107, Barre 44-54
Chair(s): Nate FosterCornell University
14:00 - 14:45
Talk
RDP
Aws AlbarghouthiUniversity of Wisconsin - Madison
14:45 - 15:30
Talk
RDP
Alvin CheungUniversity of Washington

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Salle 107, Barre 44-54

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Salle 107, Barre 44-54

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Salle 107, Barre 44-54

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Salle 107, Barre 44-54

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