–
Coffee and Check-In
–
Opening Remarks
–
Intro to Meta-Complexity: Part 1

Rahul Santhanam (University of Oxford)
Video
–
Break
–
Intro to Meta-Complexity: Part 2

Rahul Santhanam (University of Oxford)
Video
–
Lunch
–
The Power of Distinguishing Simple From Random (Part I)

Valentine Kabanets (Simon Fraser University)
Video
–
Break
–
The Power of Distinguishing Simple From Random (Part II)

Valentine Kabanets (Simon Fraser University)
Video
–
Reception
–
Coffee and Check-In
–
Kolmogorov Complexity for Meta-Complexity Theoreticians

Eric Allender (Rutgers University)
Video
–
Break
–
Probabilistic Kolmogorov Complexity

Igor Carboni Oliveira (University of Warwick)
Video
–
Lunch
–
The Quest for Hardness of Meta-Complexity: Progress, Barriers, and Next Steps (Part I)

Rahul Ilango (MIT)
Video
–
Break
–
The Quest for Hardness of Meta-Complexity: Progress, Barriers, and Next Steps (Part II)

Rahul Ilango (MIT)
Video
–
Coffee and Check In
–
Cryptography and Kolmogorov Complexity (Part I)

Rafael Pass (Tel-Aviv University and Cornell Tech)
Video
–
Break
–
Cryptography and Kolmogorov Complexity (Part II)

Rafael Pass (Tel-Aviv University and Cornell Tech)
Video
–
Lunch
–
Minimal Complexity Assumptions for Cryptography (Part I)

Tal Malkin (Columbia University)
Video
–
Break
–
Minimal Complexity Assumptions for Cryptography (Part II)

Tal Malkin (Columbia University)
Video
–
Coffee and Check In
–
Proof Complexity & Meta-Complexity Tutorial

Toniann Pitassi (University of Toronto)
Video
–
Break
–
Lunch
–
Proofs, Circuits and Total Search Problems

Susanna de Rezende (Lund University)
Video
–
Break
–
Automatability: The Proof Search Problem

Susanna de Rezende (Lund University)
Video