PEPM 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
VenueJW Marriott New Orleans
Room nameBabylon
Floor8
Room InformationNo extra information available
Program

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