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

Displayed time zone: Saskatchewan, Central America change

09:00 - 10:00
Verified Quantum Computing (I)POPL TutorialFest at Endymion
09:00
60m
Tutorial
[T2] Verified Quantum Computing
POPL TutorialFest
Robert Rand University of Maryland
Pre-print
10:30 - 12:30
Verified Quantum Computing (II)POPL TutorialFest at Endymion
10:30
2h
Tutorial
[T2] Verified Quantum Computing
POPL TutorialFest
Robert Rand University of Maryland
Pre-print
14:00 - 15:05
Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models (I)POPL TutorialFest at Endymion
14:00
65m
Tutorial
[T5] Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models
POPL TutorialFest
Konstantinos (Kostis) Sagonas Uppsala University, Sweden
15:35 - 17:35
Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models (II)POPL TutorialFest at Endymion
15:35
2h
Tutorial
[T5] Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models
POPL TutorialFest
Konstantinos (Kostis) Sagonas Uppsala University, Sweden

Wed 22 Jan

Displayed time zone: Saskatchewan, Central America change

12:30 - 14:00
12:30
90m
Lunch
LGBTQ LunchMentoring Event
POPL LGBTQ Lunch

Mon 20 Jan

Displayed time zone: Saskatchewan, Central America change

Wed 22 Jan

Displayed time zone: Saskatchewan, Central America change

Room12:0015304513:00153045
Endymion