Muses - WGT 2020

VenueJW Marriott New Orleans

Room nameMuses

Floor8

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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 20 Jan
Displayed time zone: Saskatchewan, Central America change

09:00 - 10:00	Building Program Reasoning Tools using LLVM and Z3 (I)POPL TutorialFest at Muses

09:00 60m Tutorial		[T1] Building Program Reasoning Tools using LLVM and Z3 POPL TutorialFest Elizabeth Dinella University of Pennsylvania, Pardis Pashakhanloo University of Pennsylvania, Anthony Canino , Mayur Naik University of Pennsylvania Pre-print

10:30 - 12:30	Building Program Reasoning Tools using LLVM and Z3 (II)POPL TutorialFest at Muses

10:30 2h Tutorial		[T1] Building Program Reasoning Tools using LLVM and Z3 POPL TutorialFest Elizabeth Dinella University of Pennsylvania, Pardis Pashakhanloo University of Pennsylvania, Anthony Canino , Mayur Naik University of Pennsylvania Pre-print

14:00 - 15:05	Proving Semantic Type Soundness in Iris (I)POPL TutorialFest at Muses

14:00 65m Tutorial		[T4] Proving Semantic Type Soundness in Iris POPL TutorialFest Derek Dreyer MPI-SWS, Robbert Krebbers Delft University of Technology, Amin Timany imec-Distrinet KU-Leuven Link to publication File Attached

15:35 - 17:35	Proving Semantic Type Soundness in Iris (II)POPL TutorialFest at Muses

15:35 2h Tutorial		[T4] Proving Semantic Type Soundness in Iris POPL TutorialFest Derek Dreyer MPI-SWS, Robbert Krebbers Delft University of Technology, Amin Timany imec-Distrinet KU-Leuven Link to publication File Attached

Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change


Room	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
Muses	POPL TutorialFest Building Program Reasoning Tools using LLVM and Z3 (I)																		POPL TutorialFest Building Program Reasoning Tools using LLVM and Z3 (II)																																										POPL TutorialFest Proving Semantic Type Soundness in Iris (I)																			POPL TutorialFest Proving Semantic Type Soundness in Iris (II)

Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change


Room	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
Muses	POPL TutorialFest [T1] Building Program Reasoning Tools using LLVM and Z3 09:00 - 10:00																		POPL TutorialFest [T1] Building Program Reasoning Tools using LLVM and Z3 10:30 - 12:30																																										POPL TutorialFest [T4] Proving Semantic Type Soundness in Iris 14:00 - 15:05																			POPL TutorialFest [T4] Proving Semantic Type Soundness in Iris 15:35 - 17:35

Room information: Muses

Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change

Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change

POPL TutorialFest

POPL TutorialFest

POPL TutorialFest

POPL TutorialFest

Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change

Tracks

Room information: Muses

Program Display Configuration

Mon 20 JanDisplayed time zone: Saskatchewan, Central America change

Mon 20 JanDisplayed time zone: Saskatchewan, Central America change

POPL TutorialFest

POPL TutorialFest

POPL TutorialFest

POPL TutorialFest

Mon 20 JanDisplayed time zone: Saskatchewan, Central America change

Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change

Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change

Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change