Write a Blog >>
VenueJW Marriott New Orleans
Room nameEndymion
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: Verified Quantum Computing (I)TutorialFest at Endymion
09:00 - 10:00
Tutorial
[T2] Verified Quantum Computing
TutorialFest
Robert RandUniversity of Maryland
Pre-print
10:30 - 12:30: Verified Quantum Computing (II)TutorialFest at Endymion
10:30 - 12:30
Tutorial
[T2] Verified Quantum Computing
TutorialFest
Robert RandUniversity of Maryland
Pre-print
14:00 - 15:05: Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models (I)TutorialFest at Endymion
14:00 - 15:05
Tutorial
[T5] Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models
TutorialFest
Konstantinos (Kostis) SagonasUppsala University, Sweden
15:35 - 17:35: Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models (II)TutorialFest at Endymion
15:35 - 17:35
Tutorial
[T5] Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models
TutorialFest
Konstantinos (Kostis) SagonasUppsala University, Sweden

Wed 22 Jan
Times are displayed in time zone: Saskatchewan, Central America change

12:30 - 14:00: LGBTQ LunchLGBTQ Lunch at Endymion
12:30 - 14:00
Lunch
LGBTQ LunchMentoring Event
LGBTQ Lunch

Wed 22 Jan
Times are displayed in time zone: Saskatchewan, Central America change

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

Wed 22 Jan
Times are displayed in time zone: Saskatchewan, Central America change

Room12:0015304513:00153045
Endymion