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

Mon 16 Jan

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

Tue 17 Jan

PLMW-2017
08:50 - 09:00: PLMW - Welcome Session at Salle 107, Barre 44-54
PLMW-201708:50 - 09:00
Day opening
PLMW-2017
09:00 - 10:00: PLMW - Session I at Salle 107, Barre 44-54
PLMW-201709:00 - 09:30
Talk
Kathleen FisherTufts University
File Attached
PLMW-201709:30 - 10:00
Talk
Isil DilligUT Austin
File Attached
PLMW-2017
10:30 - 12:00: PLMW - Session II at Salle 107, Barre 44-54
PLMW-201710:30 - 11:00
Talk
Michael HicksUniversity of Maryland at College Park, USA
File Attached
PLMW-201711:00 - 11:30
Talk
Brigitte PientkaMcGill University
File Attached
PLMW-201711:30 - 12:00
Talk
Nikhil SwamyMicrosoft Research
File Attached
PLMW-2017
14:00 - 15:30: PLMW - Session III at Salle 107, Barre 44-54
PLMW-201714:00 - 15:00
Talk
Eva DarulovaMPI-SWS, Loris D'AntoniUniversity of Wisconsin–Madison, Alexandra SilvaUniversity College London, Dimitrios VytiniotisMicrosoft Research, Cambridge
PLMW-201715:00 - 15:30
Talk
File Attached
PLMW-2017
16:00 - 18:00: PLMW - Session IV at Salle 107, Barre 44-54
PLMW-201716:00 - 16:30
Talk
Martin VechevETH Zurich
File Attached
PLMW-201716:30 - 17:00
Talk
Benjamin C. PierceUniversity of Pennsylvania
File Attached
PLMW-201717:00 - 18:00
Talk
Roopsha SamantaPurdue University, Nada AminEPFL, Jonathan ProtzenkoMicrosoft Research, Zachary KincaidPrinceton University

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
RDP-2017
14:00 - 15:30: RDP - Session III at Salle 107, Barre 44-54
Chair(s): Nate FosterCornell University
RDP-201714:00 - 14:45
Talk
Aws AlbarghouthiUniversity of Wisconsin - Madison
RDP-201714:45 - 15:30
Talk
Alvin CheungUniversity of Washington
RDP-2017
16:00 - 18:00: RDP - Session IV at Salle 107, Barre 44-54
Chair(s): Victor VianuUC San Diego
RDP-201716:00 - 16:30
Talk
RDP-201716:30 - 17:00
Talk
Kathleen FisherTufts University
RDP-201717:00 - 17:30
Talk
RDP-201717:30 - 18:00
Talk
Nate FosterCornell University, Victor VianuUC San Diego, Mooly SagivTel Aviv University

Mon 16 Jan 2017

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

Tue 17 Jan 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Salle 107, Barre 44-54
08:50 - 09:00
09:00 - 10:00
10:30 - 12:00
14:00 - 15:30
16:00 - 18:00

Sat 21 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Salle 107, Barre 44-54
09:00 - 10:00
10:30 - 12:00
14:00 - 15:30
16:00 - 18:00

Mon 16 Jan 2017

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