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-2017148446810000009:15 - 10:00
Talk
Marco PatrignaniMPI-SWS, Germany
Link to publication
SCM-2017
10:30 - 12:00: SCM - Session II at Salle 109, Barre 44-54
SCM-2017148447260000010:30 - 10:40
Talk
Link to publication
SCM-2017148447320000010:40 - 10:50
Talk
David NaumannStevens Institute of Technology
File Attached
SCM-2017148447380000010:50 - 11:00
Talk
Gabriel SchererNortheastern University
File Attached
SCM-2017148447440000011:00 - 11:10
Talk
Christine RizkallahUniversity of Pennsylvania, USA
File Attached
SCM-2017148447530000011:15 - 12:00
Talk
File Attached
SCM-2017
14:00 - 15:30: SCM - Session III at Salle 109, Barre 44-54
SCM-2017148448520000014:00 - 14:45
Talk
Daniel PattersonNortheastern University
File Attached
SCM-2017148448790000014:45 - 15:30
Talk
Dominique DevrieseiMinds - Distrinet, KU Leuven
File Attached
SCM-2017
16:00 - 17:30: SCM - Session IV at Salle 109, Barre 44-54
SCM-2017148449240000016:00 - 16:45
Talk
File Attached
SCM-2017148449510000016:45 - 17:30
Talk
Jonathan ProtzenkoMicrosoft Research
File Attached

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-workshop148455360000009: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-workshop148455900000010:30 - 11:00
Talk
Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University
pepm-workshop148456080000011:00 - 11:30
Talk
Tsubasa MatsushitaShibaura Institute of Technology, Isao SasanoShibaura Institute of Technology
pepm-workshop148456260000011: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-workshop148457160000014:00 - 15:00
Talk
David ChristiansenIndiana University
pepm-workshop148457520000015: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-workshop148457520000015: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-workshop148457880000016:00 - 16:30
Talk
Takashi SuwaUniversity of Tokyo, Japan, Takeshi TsukadaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Atsushi IgarashiKyoto University
pepm-workshop148458060000016: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-workshop148464000000009: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-workshop148464540000010:30 - 11:00
Talk
Levin FritzUtrecht University, Jurriaan HageUtrecht University
pepm-workshop148464720000011:00 - 11:30
Talk
Ivo Gabe de WolffUtrecht University, Jurriaan HageUtrecht University
pepm-workshop148464900000011: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-workshop148465800000014: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-workshop148466520000016:00 - 16:30
Talk
Tiark RompfPurdue University, Kevin J. BrownStanford University
pepm-workshop148466700000016: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-2017148498560000009:00 - 10:00
Talk
Moa JohanssonChalmers University of Technology
OBT-2017
10:30 - 12:10: OBT - Session Two at Salle 109, Barre 44-54
OBT-2017148499100000010:30 - 10:55
Talk
Dan GhicaUniversity of Birmingham, Khulood Alyahya, Victor Patentasu
File Attached
OBT-2017148499250000010:55 - 11:20
Talk
Ugo Dal LagoUniversity of Bologna, France
File Attached
OBT-2017148499400000011:20 - 11:45
Talk
File Attached
OBT-2017148499550000011:45 - 12:10
Talk
Michael GreenbergPomona College
File Attached
OBT-2017
14:00 - 15:25: OBT - Session Three at Salle 109, Barre 44-54
OBT-2017148500360000014:00 - 15:00
Talk
Alan BlackwellUniversity of Cambridge
OBT-2017148500720000015:00 - 15:25
Talk
File Attached
OBT-2017
16:00 - 18:05: OBT - Session Four at Salle 109, Barre 44-54
OBT-2017148501080000016:00 - 16:25
Talk
Katherine Ye, Keenan Crane, Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
File Attached
OBT-2017148501230000016:25 - 16:50
Talk
File Attached
OBT-2017148501380000016:50 - 17:15
Talk
Markus Eger, Chris MartensCarnegie Mellon University
File Attached
OBT-2017148501530000017:15 - 17:40
Talk
Marco GaboardiSUNY Buffalo, USA
File Attached
OBT-2017148501680000017: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
09:00 - 10:00
10:30 - 12:10
14:00 - 15:25
16:00 - 18:05