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-Tutorials148455360000009: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-Tutorials148457160000014: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-2017148463940000008:50 - 09:00
Day opening
PLMW-2017
09:00 - 10:00: PLMW - Session I at Salle 107, Barre 44-54
PLMW-2017148464000000009:00 - 09:30
Talk
Kathleen FisherTufts University
File Attached
PLMW-2017148464180000009: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-2017148464540000010:30 - 11:00
Talk
Michael HicksUniversity of Maryland at College Park, USA
File Attached
PLMW-2017148464720000011:00 - 11:30
Talk
Brigitte PientkaMcGill University
File Attached
PLMW-2017148464900000011: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-2017148465800000014:00 - 15:00
Talk
Eva DarulovaMPI-SWS, Loris D'AntoniUniversity of Wisconsin–Madison, Alexandra SilvaUniversity College London, Dimitrios VytiniotisMicrosoft Research, Cambridge
PLMW-2017148466160000015:00 - 15:30
Talk
File Attached
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

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-2017148498560000009:00 - 09:15
Talk
Nate FosterCornell University, Mooly SagivTel Aviv University, Victor VianuUC San Diego
RDP-2017148498650000009:15 - 10:00
Talk
RDP-2017
10:30 - 12:00: RDP - Session II at Salle 107, Barre 44-54
Chair(s): Mooly SagivTel Aviv University
RDP-2017148499100000010:30 - 11:00
Talk
Takaaki TateishiIBM Research - Tokyo
RDP-2017148499280000011:00 - 11:30
Talk
RDP-2017148499460000011:30 - 12:00
Talk
RDP-2017
14:00 - 15:30: RDP - Session III at Salle 107, Barre 44-54
Chair(s): Nate FosterCornell University
RDP-2017148500360000014:00 - 14:45
Talk
Aws AlbarghouthiUniversity of Wisconsin - Madison
RDP-2017148500630000014: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-2017148501080000016:00 - 16:30
Talk
RDP-2017148501260000016:30 - 17:00
Talk
Kathleen FisherTufts University
RDP-2017148501440000017:00 - 17:30
Talk
RDP-2017148501620000017: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