Write a Blog >>
VenueJW Marriott New Orleans
Room nameBabylon
Floor8
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Saskatchewan, Central America change

09:00 - 10:00: Verifying Probabilistic Properties with Couplings (I)TutorialFest at Babylon
09:00 - 10:00
Tutorial
[T6] Verifying Probabilistic Properties with Couplings
TutorialFest
Justin HsuUniversity of Wisconsin-Madison, USA
File Attached
10:30 - 12:30: Verifying Probabilistic Properties with Couplings (II)TutorialFest at Babylon
10:30 - 12:30
Tutorial
[T6] Verifying Probabilistic Properties with Couplings
TutorialFest
Justin HsuUniversity of Wisconsin-Madison, USA
File Attached

Mon 20 Jan
Times are displayed in time zone: Saskatchewan, Central America change

Mon 20 Jan
Times are displayed in time zone: Saskatchewan, Central America change