POPL 2017
Sun 15 - Sat 21 January 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
08:50 - 10:00: TTT - First Morning Session at Salle 105, Barre 44-54
Chair(s): Assia MahboubiINRIA
TTT-2017148446660000008:50 - 09:00
Day opening
TTT-2017148446720000009:00 - 09:20
Talk
David ThibodeauMcGill University, Canada, Alberto Momigliano, Brigitte PientkaMcGill University
TTT-2017148446840000009:20 - 09:40
Talk
TTT-2017148446960000009:40 - 10:00
Talk
Jonas Kaiser, Gert SmolkaSaarland University
TTT-2017
10:30 - 12:00: TTT - Second Morning Session at Salle 105, Barre 44-54
Chair(s): Keiko Nakata
TTT-2017148447260000010:30 - 11:20
Talk
Aaron TombGalois, Inc.
TTT-2017148447560000011:20 - 11:40
Talk
TTT-2017148447680000011:40 - 12:00
Talk
Guillaume AllaisRadboud University Nijmegen
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
Robbert KrebbersDelft University of Technology, Netherlands
TTT-2017148449540000016:50 - 17:10
Talk
Beta ZilianiFAMAF, UNC (Argentina) / CONICET (Argentina)
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
Jeremy G. SiekIndiana University Bloomington
POPL-2017-Tutorials
14:00 - 17:00: Tutorials - Gradual Typing (PM) at Salle 105, Barre 44-54
POPL-2017-Tutorials148457160000014:00 - 17:00
Talk
Jeremy G. SiekIndiana University Bloomington

Tue 17 Jan

pps-2017
09:00 - 10:00: PPS - Session 1 at Salle 105, Barre 44-54
Chair(s): Cameron FreerGamalon and Borelian
pps-2017148464000000009:00 - 10:00
Talk
pps-2017
10:30 - 12:00: PPS - Session 2 at Salle 105, Barre 44-54
Chair(s): Chad ScherrerGalois, Inc.
pps-2017148464540000010:30 - 10:50
Talk
Daniel HuangHarvard University, Greg MorrisettCornell University
pps-2017148464660000010:50 - 11:00
Meeting
pps-2017148464720000011:00 - 11:20
Talk
pps-2017148464840000011:20 - 11:30
Meeting
pps-2017148464900000011:30 - 11:50
Talk
Adam ŚcibiorUniversity of Cambridge, Yufei CaiUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany, Zoubin GhahramaniUniversity of Cambridge
pps-2017148465020000011:50 - 12:00
Meeting
pps-2017
14:00 - 15:30: PPS - Session 3 at Salle 105, Barre 44-54
Chair(s): Sam StatonUniversity of Oxford
pps-2017148465800000014:00 - 14:20
Talk
Paul Blain Levy, Nathan BowlerUniversität Hamburg
pps-2017148465920000014:20 - 14:30
Meeting
pps-2017148465980000014:30 - 14:50
Talk
Ilias GarnierUniversity of Edinburgh, Fredrik DahlqvistUniversity College London, Florence ClercMcGill University, Vincent DanosENS Paris/CNRS
pps-2017148466100000014:50 - 15:00
Meeting
pps-2017148466160000015:00 - 15:20
Talk
Benjamin Lucien KaminskiRWTH Aachen University, Joost-Pieter KatoenRWTH Aachen University
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
Alexander VandenbrouckeKU Leuven, Belgium, Tom SchrijversKU Leuven
pps-2017148466340000015:30 - 16:30
Meeting
Marco Cusumano-TownerMIT-CSAIL, Vikash MansinghkaMassachusetts Institute of Technology
pps-2017148466340000015:30 - 16:30
Meeting
Siddharth SrivastavaUTRC Berkeley, Nicholas HayVicarious, Yi WUUC Berkeley, Stuart RussellUniversity of California, Berkeley
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
Chandrakana NandiUniversity of Washington, USA, Adrian SampsonCornell University, Dan GrossmanUniversity of Washington, Todd Mytkowicz, Kathryn S McKinleyMicrosoft Research
pps-2017148466340000015:30 - 16:30
Meeting
Nathanael L. AckermanHarvard University, Jeremy AvigadCarnegie Mellon University, Cameron FreerGamalon and Borelian, Daniel Roy, Jason M. RutePennsylvania State University
pps-2017148466340000015:30 - 16:30
Meeting
Angelika KimmigKU Leuven, Luc De RaedtKU Leuven
pps-2017148466340000015:30 - 16:30
Meeting
pps-2017148466340000015:30 - 16:30
Meeting
Long OuyangStanford University
pps-2017148466340000015:30 - 16:30
Meeting
Robert CornishUniversity of Oxford, Frank WoodUniversity of Oxford, Hongseok YangUniversity of Oxford
pps-2017
16:30 - 18:00: PPS - Session 5 at Salle 105, Barre 44-54
Chair(s): Chung-chieh ShanIndiana University, USA
pps-2017148466700000016:30 - 16:50
Talk
Chad ScherrerGalois, Inc.
pps-2017148466820000016:50 - 17:00
Meeting
pps-2017148466880000017:00 - 17:20
Talk
pps-2017148467000000017:20 - 17:30
Meeting
pps-2017148467060000017:30 - 17:50
Talk
Sam StatonUniversity of Oxford, Hongseok YangUniversity of Oxford, Nathanael L. AckermanHarvard University, Cameron FreerGamalon and Borelian, Daniel Roy
pps-2017148467180000017:50 - 18:00
Meeting
pps-2017
18:15 - 19:15: PPS - Session 6 at Salle 105, Barre 44-54
Chair(s): Hongseok YangUniversity of Oxford
pps-2017148467330000018:15 - 18:35
Talk
Ernie CohenAmazon Web Services
pps-2017148467450000018:35 - 18:45
Meeting
pps-2017148467510000018:45 - 19:05
Talk
Edwin WestbrookGalois, Inc., Chad ScherrerGalois, Inc., Nathan CollinsGalois, Inc., Eric MertensGalois, Inc.
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
09:00 - 10:00
10:30 - 12:00
14:00 - 15:30
15:30 - 16:30
16:30 - 18:00
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
08:55 - 09:00
09:00 - 10:00
10:30 - 12:05
14:00 - 15:30
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
10:50 - 11:00
11:20 - 11:30
11:50 - 12:00
14:20 - 14:30
14:50 - 15:00
15:20 - 15:30
16:50 - 17:00
17:20 - 17:30
17:50 - 18:00
18:35 - 18:45
19:05 - 19:15