Schedule subject to change.

All talks held in Pacific Time.

–
Coffee and Check-In
–
Coffee and Check-In
–
Opening Remarks
–
Opening Remarks
–
In Search of the Ideal: Toni Pitassi and her work on Algebraic Proof Systems
Russell Impagliazzo (UCSD)
–
Toni Counts, Continually!
Cynthia Dwork (Harvard University)
–
Break
–
Break with Light Refreshments
–
Extension-Based Proofs
Faith Ellen (University of Toronto)
–
Theory and Practice: Some Things I Learned About Computation and Life From Toni Pitassi
Josh Buresh-Oppenheim (Akamai Technologies)
–
Lunch
–
Lunch on your Own
–
Student Session
–
Student Session - talks from Denis Pankratov, David Madras, Ian Mertz, Yuval Filmus
–
Break
–
Coffee Break with Light Refreshments
–
Student Session
–
Student Session
–
How to Solve Math Problems Without Talent
Noriko Arai (National Institute of Informatics)
–
Reception
–
Reception
–
Coffee and Check-In
–
Coffee and Check-In
–
On Extended Frege Proofs
Sam Buss (UC San Diego)
–
Working with Toni in Algebraic Proof Complexity
Josh Grochow (University of Colorado at Boulder) *presenting virtually
–
Break
–
Break with Light Refreshments
–
Open Problems that Baffled Toni (so far)
Mika Göös (Harvard University)
–
My Collaborations with Toni Pitassi
Alasdair Urquhart (University of Toronto)
–
Lunch
–
Lunch on Your Own
–
Student Session
–
Student Session - talks from Morgan Shirley, Adrian She, Elliot Creager, Noah Fleming, Sayak Chakrabarti, Robert Robere
–
Break
–
Break with Light Refreshments
–
Student Session
–
Coffee and Check-In
–
Coffee and Check-In
–
Inspiration
Paul Beame (University of Washington)
–
Weak Automat*ability
María Luisa Bonet Carbonell (Universitat Politècnica de Catalunya)
–
Break
–
Break with Light Refreshments
–
Randomized versus Deterministic Decision Tree Size
Arkadev Chattopadhyay (Tata Institute of Fundamental Research)
–
A Theory of ToniCS
Rahul Santhanam (University of Oxford)
–
Lunch
–
Lunch on Your Own
–
Afternoon Activity
–
Afternoon Activity