Fri 20 Jan 2023 13:10 - 13:20 at White Hill - Friday Lunch Session Preview

Fri 20 Jan

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

13:00 - 13:20
Friday Lunch Session PreviewSession Previews at White Hill
13:00
10m
Talk
Relational & Automated Verification: Session Preview
Session Previews
Eric Campbell Cornell University
13:10
10m
Talk
Semantics II: Session Preview
Session Previews
Robert Atkey University of Strathclyde