Room HTC 1 - PADL

VenueHilton St. Petersburg Bayfront

Room nameRoom HTC 1

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00	T1: An Introduction to Redex with Abstracting Abstract MachinesPOPL Tutorials at Room HTC 1

08:30 90m Talk		T1: An Introduction to Redex with Abstracting Abstract Machines POPL Tutorials David Van Horn University of Maryland, College Park Link to publication

10:30 - 12:00	T2: Declare Your Language: Part 1POPL Tutorials at Room HTC 1

10:30 90m Talk		T2: Declare Your Language (Part 1): Hands-On Spoofax Tutorial POPL Tutorials Eelco Visser Delft University of Technology

14:00 - 15:30	T1: An Introduction to Redex with Abstracting Abstract MachinesPOPL Tutorials at Room HTC 1

14:00 90m Talk		T1: An Introduction to Redex with Abstracting Abstract Machines(Advanced Material) POPL Tutorials David Van Horn University of Maryland, College Park Link to publication

16:00 - 17:30	T2: Declare Your Language: Part 2POPL Tutorials at Room HTC 1

16:00 90m Talk		T2: Declare Your Language (Part 2): Name Binding with Scope Graphs POPL Tutorials Eelco Visser Delft University of Technology Link to publication DOI Media Attached

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room HTC 1							POPL Tutorials T1: An Introduction to Redex with Abstracting Abstract Machines																								POPL Tutorials T2: Declare Your Language: Part 1																																										POPL Tutorials T1: An Introduction to Redex with Abstracting Abstract Machines																								POPL Tutorials T2: Declare Your Language: Part 2

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Room HTC 1							POPL Tutorials T1: An Introduction to Redex with Abstracting Abstract Machines 08:30 - 10:00																								POPL Tutorials T2: Declare Your Language (Part 1): Hands-On Spoofax Tutorial 10:30 - 12:00																																										POPL Tutorials T1: An Introduction to Redex with Abstracting Abstract Machines(Advance ... 14:00 - 15:30																								POPL Tutorials T2: Declare Your Language (Part 2): Name Binding with Scope Graphs 16:00 - 17:30

Room information: Room HTC 1

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

POPL Tutorials

POPL Tutorials

POPL Tutorials

POPL Tutorials

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tracks

Room information: Room HTC 1

Program Display Configuration

Mon 18 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change

POPL Tutorials

POPL Tutorials

POPL Tutorials

POPL Tutorials

Mon 18 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change