POPL 2017
Sun 15 - Sat 21 January 2017
VenueParis Jussieu
Room nameSalle 109, Barre 44-54
Floor2
Room number109
Capacity80
Additional information

This room is located in barre 44-54.

Program

Sun 15 Jan

SCM-2017
09:15 - 10:00: SCM - Session I at Salle 109, Barre 44-54
SCM-201709:15 - 10:00
Talk
Marco PatrignaniMPI-SWS, Germany
Link to publication

Mon 16 Jan

pepm-workshop
09:00 - 10:00: PEPM 2017 - Keynote at Salle 109, Barre 44-54
Chair(s): Ulrik SchultzUniversity of Southern Denmark
pepm-workshop09:00 - 10:00
Talk
Daniil BerezunJetBrains, Russia, Neil D. JonesUniversity of Copenhagen, Danmark
DOI
pepm-workshop
10:30 - 12:00: PEPM 2017 - Programming languages at Salle 109, Barre 44-54
Chair(s): Andrew FarmerFacebook
pepm-workshop10:30 - 11:00
Talk
Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University
pepm-workshop11:00 - 11:30
Talk
Tsubasa MatsushitaShibaura Institute of Technology, Isao SasanoShibaura Institute of Technology
pepm-workshop11:30 - 12:00
Talk
Fritz HengleinDIKU, Denmark, Ulrik Terp RasmussenDIKU, University of Copenhagen
pepm-workshop
14:00 - 15:30: PEPM 2017 - Tutorial (Idris, Inside-Out) and Poster Session at Salle 109, Barre 44-54
Chair(s): Ulrik SchultzUniversity of Southern Denmark, Jeremy YallopUniversity of Cambridge, UK
pepm-workshop14:00 - 15:00
Talk
David Thrane ChristiansenIndiana University
pepm-workshop15:00 - 15:30
Talk
Nada AminEPFL, Tiark RompfPurdue University, Oleg Kiselyov, Aggelos BiboudisUniversity of Athens, Nick PalladinosNessos Information Technologies, SA, Yannis SmaragdakisUniversity of Athens
pepm-workshop15:00 - 15:30
Talk
Tatsuya KatsushimaTohoku University, Japan, Oleg Kiselyov
pepm-workshop
16:00 - 17:00: PEPM 2017 - Transformation (part I) at Salle 109, Barre 44-54
Chair(s): Chung-chieh ShanIndiana University, USA
pepm-workshop16:00 - 16:30
Talk
Takashi SuwaUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Atsushi IgarashiKyoto University
pepm-workshop16:30 - 17:00
Talk
Krishna NarasimhanGoethe University, Julia LawallInria/LIP6, Christoph ReichenbachGoethe University

Tue 17 Jan

pepm-workshop
09:00 - 10:00: PEPM 2017 - Tutorial: reversible computing at Salle 109, Barre 44-54
Chair(s): Ulrik SchultzUniversity of Southern Denmark
pepm-workshop09:00 - 10:00
Talk
pepm-workshop
10:30 - 12:00: PEPM 2017 - Types at Salle 109, Barre 44-54
Chair(s): Robert Glück
pepm-workshop10:30 - 11:00
Talk
Levin FritzUtrecht University, Jurriaan HageUtrecht University
pepm-workshop11:00 - 11:30
Talk
Ivo Gabe de WolffUtrecht University, Jurriaan HageUtrecht University
pepm-workshop11:30 - 12:00
Talk
Markus KlinikRadboud University Nijmegen, Jurriaan HageUtrecht University, Jan Martin JansenNetherlands Defence Academy, Rinus PlasmeijerRadboud University Nijmegen
pepm-workshop
14:00 - 15:30: PEPM 2017 - Tutorial: Partial Evaluation for Language Implementation at Salle 109, Barre 44-54
Chair(s): Jeremy YallopUniversity of Cambridge, UK
pepm-workshop14:00 - 15:30
Talk
pepm-workshop
16:00 - 17:00: PEPM 2017 - Transformation (part II) at Salle 109, Barre 44-54
Chair(s): Jurriaan HageUtrecht University
pepm-workshop16:00 - 16:30
Talk
Tiark RompfPurdue University, Kevin J. BrownStanford University
pepm-workshop16:30 - 17:00
Talk
Kazutaka Matsuda, Kazuyuki AsadaUniversity of Tokyo

Sat 21 Jan

OBT-2017
09:00 - 10:00: OBT - Session One at Salle 109, Barre 44-54
OBT-201709:00 - 10:00
Talk
Moa JohanssonChalmers University of Technology
OBT-2017
16:00 - 18:05: OBT - Session Four at Salle 109, Barre 44-54
OBT-201716:00 - 16:25
Talk
Katherine Ye, Keenan Crane, Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
File Attached
OBT-201716:25 - 16:50
Talk
File Attached
OBT-201716:50 - 17:15
Talk
Markus Eger, Chris MartensCarnegie Mellon University
File Attached
OBT-201717:15 - 17:40
Talk
Marco GaboardiSUNY Buffalo, USA
File Attached
OBT-201717:40 - 18:05
Talk
Ian VoyseyCarnegie Mellon University, Cyrus OmarCarnegie Mellon University, Matthew HammerUniversity of Colorado, Boulder
File Attached

Sun 15 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Salle 109, Barre 44-54
09:15 - 10:00
10:30 - 12:00
14:00 - 15:30
16:00 - 17:30

Mon 16 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Salle 109, Barre 44-54
09:00 - 10:00

Tue 17 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Salle 109, Barre 44-54
10:30 - 12:00

Sat 21 Jan 2017

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