Write a Blog >>
PEPM 2017
Mon 16 - Tue 17 January 2017
co-located with POPL 2017
Filter
Dates
Rooms
Tracks
Badges
Your Program

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 Thrane 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

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
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)