Fri 20 Jan 2023 10:20 - 10:30 at White Hill - Friday Morning Break Session Preview Chair(s): Neea Rusch

Fri 20 Jan

Displayed time zone: Eastern Time (US & Canada) change

10:20 - 10:40
Friday Morning Break Session PreviewSession Previews at White Hill
Chair(s): Neea Rusch Augusta University
10:20
10m
Talk
Concurrency & Linearizability: Session Preview
Session Previews
Chung-Kil Hur Seoul National University
10:30
10m
Talk
Algorithmic Verification
Session Previews
Umang Mathur National University of Singapore