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 2017

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

PEPM 2017

Keynote
09:00 - 10:00

Tue 17 Jan 2017

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

PEPM 2017

Types
10:30 - 12:00

Mon 16 Jan

pepm-workshop
14:00 - 15:30: PEPM 2017 - Tutorial (Idris, Inside-Out) and Poster Session at Salle 109, Barre 44-54
Chair(s): Ulrik Schultz, Jeremy Yallop
pepm-workshop148457160000014:00 - 15:00
Talk
pepm-workshop148457520000015:00 - 15:30
Talk
pepm-workshop148457520000015:00 - 15:30
Talk

Tue 17 Jan

pepm-workshop
09:00 - 10:00: PEPM 2017 - Tutorial: reversible computing at Salle 109, Barre 44-54
Chair(s): Ulrik Schultz
pepm-workshop148464000000009:00 - 10:00
Talk
pepm-workshop
14:00 - 15:30: PEPM 2017 - Tutorial: Partial Evaluation for Language Implementation at Salle 109, Barre 44-54
Chair(s): Jeremy Yallop
pepm-workshop148465800000014:00 - 15:30
Talk
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscirption service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)