Fri 20 Jan 2023 08:40 - 08:50 at White Hill - Friday Breakfast Session Preview Chair(s): Alexandre Moine

Fri 20 Jan

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

08:30 - 08:50
Friday Breakfast Session PreviewSession Previews at White Hill
Chair(s): Alexandre Moine Inria
08:30
10m
Talk
Formal Methods in Compilation & Implementation: Session Preview
Session Previews
Arjun Guha Northeastern University and Roblox Research
08:40
10m
Talk
Quantum Computing: Session Preview
Session Previews
Jens Palsberg University of California, Los Angeles (UCLA)