Wed 18 Jan 2023 12:40 - 12:50 at White Hill - Wednesday Lunch Session Preview Chair(s): Chelsea Edmonds

Wed 18 Jan

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

12:40 - 13:20
Wednesday Lunch Session PreviewSession Previews at White Hill
Chair(s): Chelsea Edmonds University of Cambridge
12:40
10m
Talk
Logic & Decidability I: Session Preview
Session Previews
Zachary Kincaid Princeton University
12:50
10m
Talk
Program Logics & Resources: Session Preview
Session Previews
Philippa Gardner Imperial College London
13:00
10m
Talk
Verified Compilation: Session Preview
Session Previews
Deian Stefan University of California at San Diego
13:10
10m
Talk
Probabilistic Inference: Session Preview
Session Previews
Alexandra Silva Cornell University