Write a Blog >>
PEPM 2017
Mon 16 - Tue 17 January 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
08:50 - 10:00: TTT - First Morning Session at Salle 105, Barre 44-54
Chair(s): Assia MahboubiINRIA
TTT-201708:50 - 09:00
Day opening
TTT-201709:00 - 09:20
Talk
David ThibodeauMcGill University, Canada, Alberto Momigliano, Brigitte PientkaMcGill University
TTT-201709:20 - 09:40
Talk
TTT-201709:40 - 10:00
Talk
Jonas Kaiser, Gert SmolkaSaarland University
TTT-2017
16:00 - 18:00: TTT - Second Afternoon Session at Salle 105, Barre 44-54
Chair(s): Hugo Herbelin
TTT-201716:00 - 16:50
Talk
Robbert KrebbersDelft University of Technology, Netherlands
TTT-201716:50 - 17:10
Talk
Beta ZilianiFAMAF, UNC (Argentina) / CONICET (Argentina)
TTT-201717: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-Tutorials09: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-Tutorials14: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-201709: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-201710:30 - 10:50
Talk
Daniel HuangHarvard University, Greg MorrisettCornell University
pps-201710:50 - 11:00
Meeting
pps-201711:00 - 11:20
Talk
pps-201711:20 - 11:30
Meeting
pps-201711: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-201711: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-201714:00 - 14:20
Talk
Paul Blain Levy, Nathan BowlerUniversität Hamburg
pps-201714:20 - 14:30
Meeting
pps-201714:30 - 14:50
Talk
Ilias GarnierUniversity of Edinburgh, Fredrik DahlqvistUniversity College London, Florence ClercMcGill University, Vincent DanosENS Paris/CNRS
pps-201714:50 - 15:00
Meeting
pps-201715:00 - 15:20
Talk
Benjamin Lucien KaminskiRWTH Aachen University, Joost-Pieter KatoenRWTH Aachen University
pps-201715:20 - 15:30
Meeting
pps-2017
15:30 - 16:30: PPS - Poster Session at Salle 105, Barre 44-54
pps-201715:30 - 16:30
Meeting
Alexander VandenbrouckeKU Leuven, Belgium, Tom SchrijversKU Leuven
pps-201715:30 - 16:30
Meeting
Marco Cusumano-TownerMIT-CSAIL, Vikash MansinghkaMassachusetts Institute of Technology
pps-201715:30 - 16:30
Meeting
Siddharth SrivastavaUTRC Berkeley, Nicholas HayVicarious, Yi WUUC Berkeley, Stuart RussellUniversity of California, Berkeley
pps-201715:30 - 16:30
Meeting
pps-201715:30 - 16:30
Meeting
Chandrakana NandiUniversity of Washington, USA, Adrian SampsonCornell University, Dan GrossmanUniversity of Washington, Todd Mytkowicz, Kathryn S McKinleyMicrosoft Research
pps-201715:30 - 16:30
Meeting
Nathanael L. AckermanHarvard University, Jeremy AvigadCarnegie Mellon University, Cameron FreerGamalon and Borelian, Daniel Roy, Jason M. RutePennsylvania State University
pps-201715:30 - 16:30
Meeting
Angelika KimmigKU Leuven, Luc De RaedtKU Leuven
pps-201715:30 - 16:30
Meeting
pps-201715:30 - 16:30
Meeting
Long OuyangStanford University
pps-201715: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-201716:30 - 16:50
Talk
Chad ScherrerGalois, Inc.
pps-201716:50 - 17:00
Meeting
pps-201717:00 - 17:20
Talk
pps-201717:20 - 17:30
Meeting
pps-201717:30 - 17:50
Talk
Sam StatonUniversity of Oxford, Hongseok YangUniversity of Oxford, Nathanael L. AckermanHarvard University, Cameron FreerGamalon and Borelian, Daniel Roy
pps-201717: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-201718:15 - 18:35
Talk
Ernie CohenAmazon Web Services
pps-201718:35 - 18:45
Meeting
pps-201718:45 - 19:05
Talk
Edwin WestbrookGalois, Inc., Chad ScherrerGalois, Inc., Nathan CollinsGalois, Inc., Eric MertensGalois, Inc.
pps-201719:05 - 19:15
Meeting

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