Welcome to PEPM19 (PEPM 2019) - POPL 2019

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Who

Atsushi Igarashi, Manuel Hermenegildo

Track

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Mon 14 Jan 2019 11:00 - 11:05 at Sala X - Session 1 Chair(s): Manuel Hermenegildo

Atsushi IgarashiCo-chair

Kyoto University, Japan

Japan

Manuel HermenegildoCo-chair

IMDEA Software Institute and T.U. of Madrid (UPM)

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Mon 14 Jan
Displayed time zone: Belfast change

	11:00 - 12:30	Session 1PEPM at Sala X Chair(s): Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM)

	11:00 5m Day opening		Welcome to PEPM19 PEPM C: Atsushi Igarashi Kyoto University, Japan, C: Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM)
	11:05 55m Talk		Applying Futamura Projections to Compose Languages and Tools in GraalVM (Invited Talk) PEPM Christian Humer Oracle Labs, Switzerland File Attached
	12:00 30m Talk		A Simpler Lambda Calculus PEPM Barry Jay University of Technology Sydney DOI