Thu 19 Jan 2023 13:00 - 13:10 at White Hill - Thursday Lunch Session Preview Chair(s): Gabe Grand

Thu 19 Jan

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

13:00 - 13:20
Thursday Lunch Session PreviewSession Previews at White Hill
Chair(s): Gabe Grand
13:00
10m
Talk
Logic & Decidability II: Session Preview
Session Previews
Caleb Stanford University of California, San Diego; University of California, Davis
13:10
10m
Talk
Types II: Session Preview
Session Previews
Benjamin C. Pierce University of Pennsylvania