Wed 18 Jan 2023 18:20 - 18:30 at White Hill - Wednesday Evening Session Preview Chair(s): Xuejing Huang

Wed 18 Jan

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

18:10 - 18:30
Wednesday Evening Session PreviewSession Previews at White Hill
Chair(s): Xuejing Huang University of Hong Kong
18:10
10m
Talk
Synthesis II: Session Preview
Session Previews
Nate Foster Cornell University
18:20
10m
Talk
Semantics I: Session Preview
Session Previews
Ugo Dal Lago University of Bologna; Inria