Write a Blog >>
VenueJW Marriott New Orleans
Room nameBabylon
Floor8
Additional informationThere is no additional information of this room available.
Program

Mon 20 Jan (GMT-06:00) Saskatchewan, Central America change

POPL-2020-tutorialfest
09:00 - 10:00: TutorialFest - Verifying Probabilistic Properties with Couplings (I) at Babylon
POPL-2020-tutorialfest09:00 - 10:00
Tutorial
Justin HsuUniversity of Wisconsin-Madison, USA
File Attached
POPL-2020-tutorialfest
10:30 - 12:30: TutorialFest - Verifying Probabilistic Properties with Couplings (II) at Babylon
POPL-2020-tutorialfest10:30 - 12:30
Tutorial
Justin HsuUniversity of Wisconsin-Madison, USA
File Attached

Mon 20 Jan (GMT-06:00) Saskatchewan, Central America change