Write a Blog >>
PEPM 2017
Mon 16 - Tue 17 January 2017
co-located with POPL 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
Link to publication

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

Sat 21 Jan

Sun 15 Jan 2017

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

SCM

Session I
09:15 - 10:00

SCM

Session II
10:30 - 12:00

SCM

Session III
14:00 - 15:30

SCM

Session IV
16:00 - 17:30

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

Sat 21 Jan 2017

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

OBT

Session One
09:00 - 10:00

OBT

Session Two
10:30 - 12:10

OBT

Session Three
14:00 - 15:25

OBT

Session Four
16:00 - 18:05