Room HTC 2 - PADL

VenueHilton St. Petersburg Bayfront

Room nameRoom HTC 2

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	T3: Syntax-Guided Synthesis (SyGuS)POPL Tutorials at Room HTC 2

08:30 90m Talk		T3: Syntax-Guided Synthesis (SyGuS) POPL Tutorials Rajeev Alur University of Pennsylvania, Dana Fisman University of Pennsylvania, Rishabh Singh Microsoft Research, Armando Solar-Lezama MIT Link to publication

10:30 - 12:00	T3: Syntax-Guided Synthesis (SyGuS)POPL Tutorials at Room HTC 2

10:30 90m Talk		T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material) POPL Tutorials Rajeev Alur University of Pennsylvania, Dana Fisman University of Pennsylvania, Rishabh Singh Microsoft Research, Armando Solar-Lezama MIT Link to publication

14:00 - 15:30	T7: Trace-based Synchronization Synthesis for Concurrent ProgramsPOPL Tutorials at Room HTC 2

14:00 90m Talk		T7: Trace-based Synchronization Synthesis for Concurrent Programs POPL Tutorials Arjun Radhakrishna Microsoft, Roopsha Samanta IST Austria

16:00 - 17:30	T7: Trace-based Synchronization Synthesis for Concurrent ProgramsPOPL Tutorials at Room HTC 2

16:00 90m Talk		T7: Trace-based Synchronization Synthesis for Concurrent Programs POPL Tutorials Arjun Radhakrishna Microsoft, Roopsha Samanta IST Austria

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 2							POPL Tutorials T3: Syntax-Guided Synthesis (SyGuS)																								POPL Tutorials T3: Syntax-Guided Synthesis (SyGuS)																																										POPL Tutorials T7: Trace-based Synchronization Synthesis for Concurrent Programs																								POPL Tutorials T7: Trace-based Synchronization Synthesis for Concurrent Programs

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 2							POPL Tutorials T3: Syntax-Guided Synthesis (SyGuS) 08:30 - 10:00																								POPL Tutorials T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material) 10:30 - 12:00																																										POPL Tutorials T7: Trace-based Synchronization Synthesis for Concurrent Programs 14:00 - 15:30																								POPL Tutorials T7: Trace-based Synchronization Synthesis for Concurrent Programs 16:00 - 17:30

Room information: Room HTC 2

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 2

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