![Meta-complexity_logo_hi-res](/sites/default/files/styles/workshop_banner_sm_1x/public/2023-02/Meta-complexity_hi-res.png.jpg?itok=oFqprXq1)
All lectures are in Pacific Time and are subject to change.
Monday: Proof Complexity
Tuesday: Meta-Mathematics of Complexity
Wednesday: Algebraic Approaches to Barriers and Proofs
Thursday: Satisfiability & Applications
Friday: Independence, Reflection and More
–
Coffee and Check-In
–
Opening Remarks
–
Break with Light Refreshments
–
Lunch on Your Own
–
Break with Light Refreshments
–
–
Reception
–
Coffee and Check-In
–
–
Break with Light Refreshments
–
–
Lunch on Your Own
–
Break with Light Refreshments
–
Coffee and Check-In
–
–
Break with Light Refreshments
–
–
Lunch on Your Own
–
Break with Light Refreshments
–
–
Coffee and Check-In
–
–
Break with Light Refreshments
–
–
–
Lunch on Your Own
–
Break with Light Refreshments
–
Open Problem Session
–
Coffee and Check-In
–
–
Break with Light Refreshments
–
Lunch on Your Own
Share this page