Babylon - HASE 2020

Write a Blog >>

Tue 21 Jan 2020 New Orleans, Louisiana, United States

co-located with POPL 2020

VenueJW Marriott New Orleans

Room nameBabylon

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	Verifying Probabilistic Properties with Couplings (I)POPL TutorialFest at Babylon

09:00 60m Tutorial		[T6] Verifying Probabilistic Properties with Couplings POPL TutorialFest Justin Hsu University of Wisconsin-Madison, USA File Attached

10:30 - 12:30	Verifying Probabilistic Properties with Couplings (II)POPL TutorialFest at Babylon

10:30 2h Tutorial		[T6] Verifying Probabilistic Properties with Couplings POPL TutorialFest Justin Hsu University of Wisconsin-Madison, USA 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
Babylon	POPL TutorialFest Verifying Probabilistic Properties with Couplings (I)																		POPL TutorialFest Verifying Probabilistic Properties with Couplings (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
Babylon	POPL TutorialFest [T6] Verifying Probabilistic Properties with Couplings 09:00 - 10:00																		POPL TutorialFest [T6] Verifying Probabilistic Properties with Couplings 10:30 - 12:30

Room information: Babylon

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

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

POPL TutorialFest

POPL TutorialFest

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

Tracks

Room information: Babylon

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

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