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
POPL-2017-Tutorials
14:00 - 17:00: Tutorials - Lean (PM) at Salle 107, Barre 44-54
POPL-2017-Tutorials148457160000014:00 - 17:00
Talk

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
File Attached
PLMW-2017148464180000009:30 - 10:00
Talk
File Attached
PLMW-2017
14:00 - 15:30: PLMW - Session III at Salle 107, Barre 44-54
PLMW-2017148465800000014:00 - 15:00
Talk
PLMW-2017148466160000015:00 - 15:30
Talk
File Attached

Sat 21 Jan

RDP-2017
09:00 - 10:00: RDP - Session I at Salle 107, Barre 44-54
Chair(s): Victor Vianu
RDP-2017148498560000009:00 - 09:15
Talk
RDP-2017148498650000009:15 - 10:00
Talk
RDP-2017
14:00 - 15:30: RDP - Session III at Salle 107, Barre 44-54
Chair(s): Nate Foster
RDP-2017148500360000014:00 - 14:45
Talk
RDP-2017148500630000014:45 - 15:30
Talk

Mon 16 Jan 2017

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

Tutorials

Lean (AM)
09:00 - 12:00

Tutorials

Lean (PM)
14:00 - 17:00

Tue 17 Jan 2017

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

PLMW

Session I
09:00 - 10:00

PLMW

Session II
10:30 - 12:00

PLMW

Session III
14:00 - 15:30

PLMW

Session IV
16:00 - 18:00

Sat 21 Jan 2017

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

RDP

Session I
09:00 - 10:00

RDP

Session II
10:30 - 12:00

RDP

Session III
14:00 - 15:30

RDP

Session IV
16:00 - 18:00

Mon 16 Jan 2017

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