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: https://derezende.github.io/focs21proofcomplexity/index.html Cheers, Robert