[Proof Complexity] FOCS Proof Complexity Workshop Videos + Slides

Robert Robere robere.it at gmail.com
Sun Feb 13 18:34:18 CET 2022

Hi everyone,

We recently held a workshop on Proof Complexity at FOCS. For those who are
interested, slides and videos of the talks held at the workshop are now
available, see here:



More information about the Proof-Complexity mailing list