Write a Blog >>
VenueJW Marriott New Orleans
Room nameEndymion
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
Times are displayed in time zone: Saskatchewan, Central America change

09:00 - 10:00
Verified Quantum Computing (I)TutorialFest at Endymion
09:00
60m
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
2h
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
65m
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
2h
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
90m
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