Write a Blog >>
PPS 2017
Tue 17 Jan 2017
co-located with POPL 2017
VenueParis Jussieu
Room nameSalle 105, Barre 44-54
Floor2
Room number105
Capacity80
Additional information

This room is located in barre 44-54.

Program

Sun 15 Jan

TTT-2017
16:00 - 18:00: TTT - Second Afternoon Session at Salle 105, Barre 44-54
Chair(s): Hugo Herbelin
TTT-2017148449240000016:00 - 16:50
Talk
TTT-2017148449540000016:50 - 17:10
Talk
TTT-2017148449660000017:10 - 18:00
Other

Mon 16 Jan

POPL-2017-Tutorials
09:00 - 12:00: Tutorials - Gradual Typing (AM) at Salle 105, Barre 44-54
POPL-2017-Tutorials148455360000009:00 - 12:00
Talk
POPL-2017-Tutorials
14:00 - 17:00: Tutorials - Gradual Typing (PM) at Salle 105, Barre 44-54
POPL-2017-Tutorials148457160000014:00 - 17:00
Talk

Tue 17 Jan

pps-2017
09:00 - 10:00: PPS - Session 1 at Salle 105, Barre 44-54
Chair(s): Cameron Freer
pps-2017148464000000009:00 - 10:00
Talk
pps-2017
10:30 - 12:00: PPS - Session 2 at Salle 105, Barre 44-54
Chair(s): Chad Scherrer
pps-2017148464540000010:30 - 10:50
Talk
pps-2017148464660000010:50 - 11:00
Meeting
pps-2017148464720000011:00 - 11:20
Talk
pps-2017148464840000011:20 - 11:30
Meeting
pps-2017148464900000011:30 - 11:50
Talk
pps-2017148465020000011:50 - 12:00
Meeting
pps-2017
14:00 - 15:30: PPS - Session 3 at Salle 105, Barre 44-54
Chair(s): Sam Staton
pps-2017148465800000014:00 - 14:20
Talk
pps-2017148465920000014:20 - 14:30
Meeting
pps-2017148465980000014:30 - 14:50
Talk
pps-2017148466100000014:50 - 15:00
Meeting
pps-2017148466160000015:00 - 15:20
Talk
pps-2017148466280000015:20 - 15:30
Meeting
pps-2017
15:30 - 16:30: PPS - Poster Session at Salle 105, Barre 44-54
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017
16:30 - 18:00: PPS - Session 5 at Salle 105, Barre 44-54
Chair(s): Chung-chieh Shan
pps-2017148466700000016:30 - 16:50
Talk
pps-2017148466820000016:50 - 17:00
Meeting
pps-2017148466880000017:00 - 17:20
Talk
pps-2017148467000000017:20 - 17:30
Meeting
pps-2017148467060000017:30 - 17:50
Talk
pps-2017148467180000017:50 - 18:00
Meeting
pps-2017
18:15 - 19:15: PPS - Session 6 at Salle 105, Barre 44-54
Chair(s): Hongseok Yang
pps-2017148467330000018:15 - 18:35
Talk
pps-2017148467450000018:35 - 18:45
Meeting
pps-2017148467510000018:45 - 19:05
Talk
pps-2017148467630000019:05 - 19:15
Meeting

Sat 21 Jan

PiP-2017
08:55 - 09:00: PiP 2017 - Welcome at Salle 105, Barre 44-54
PiP-2017148498530000008:55 - 09:00
Talk
PiP-2017
09:00 - 10:00: PiP 2017 - Session 1 at Salle 105, Barre 44-54
PiP-2017148498560000009:00 - 09:30
Talk
PiP-2017148498740000009:30 - 10:00
Talk
PiP-2017
16:00 - 18:00: PiP 2017 - Session 4 at Salle 105, Barre 44-54
PiP-2017148501080000016:00 - 16:30
Talk
PiP-2017148501260000016:30 - 17:30
Talk

Sun 15 Jan 2017

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

Mon 16 Jan 2017

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

Tue 17 Jan 2017

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

PPS

Session 1
09:00 - 10:00

PPS

Session 2
10:30 - 12:00

PPS

Session 3
14:00 - 15:30

PPS

Poster Session
15:30 - 16:30

PPS

Session 5
16:30 - 18:00

PPS

Session 6
18:15 - 19:15

Sat 21 Jan 2017

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

PiP 2017

Welcome
08:55 - 09:00

PiP 2017

Session 1
09:00 - 10:00

PiP 2017

Session 2
10:30 - 12:05

PiP 2017

Session 3
14:00 - 15:30

PiP 2017

Session 4
16:00 - 18:00

Mon 16 Jan 2017

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

Tue 17 Jan 2017

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