–
Coffee and Check In
–
Welcome Remarks
–
Programmable Quantum Simulators: Past and Present

I,
ke Chuang (MIT)
Video
–
Break
–
The Complexity of the Local Hamiltonian Problem

Sandy Irani (UC Irvine)
Video
–
Lunch
–
Introduction to Quantum Chemistry

Bryan O'Gorman (UC Berkeley/NASA Ames)
Video
–
Break
–
Ab Initio Chemistry and Materials Science: The Limits of Classical Computation and Prospects for Quantum Algorithms

A,
lec White (Caltech)
Video
–
Reception
–
Coffee and Check In
–
Quantum Algorithms -- An Overview of Techniques

András Gilyén (Caltech)
Video
–
Break
–
Quantum Singular Value Transformation and Its Algorithmic Applications

András Gilyén (Caltech)
Video
–
Lunch
–
Quantum-Inspired Classical Linear Algebra

Ewin Tang (University of Washington)
Video
–
Coffee and Check In
–
Multiprover Protocols I

Henry Yuen (University of Toronto)
Video
–
Break
–
Multiprover Protocols II

Henry Yuen (University of Toronto)
Video
–
Lunch
–
Classical Commitment to Quantum States

Urmila Mahadev (Microsoft Research)
Video
–
Break
–
Authenticating Quantum States

Yfke Dulek (QuSoft)
Video
–
Coffee and Check In
–
Post-Quantum Cryptography

Daniel Bernstein (University of Illinois at Chicago)
Video
–
Break
–
Quantum Algorithms and Post-Quantum Cryptography

Sean Hallgren (Pennsylvania State University)
Video
–
Lunch
–
Recent Advances in Zero-Knowledge Proofs in the Quantum Setting

Alex Bredariol Grilo (CWI and QuSoft)
Video
–
Town Hall Discussion
–
Coffee and Check In
–
Quantum Supremacy I

Adam Bouland (UC Berkeley)
Video
–
Break
–
Quantum Supremacy II

Adam Bouland (UC Berkeley)
Video
–
Lunch
–
Random Circuit Sampling: Thoughts and Open Problems

Scott Aaronson (University of Texas at Austin)
Video