Wed 18 Jan 2023 08:30 - 08:40 at White Hill - Wednesday Breakfast Session Preview Chair(s): Nate Foster

Wed 18 Jan

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

08:30 - 08:50
Wednesday Breakfast Session PreviewSession Previews at White Hill
Chair(s): Nate Foster Cornell University
08:30
10m
Talk
Automated Verification: Session Preview
Session Previews
Michael Greenberg Stevens Institute of Technology
08:40
10m
Talk
Types I: Session Preview
Session Previews
Neel Krishnaswami University of Cambridge