Talks and Presentations

Provability of the Circuit Size Hierarchy

• Proof Complexity Workshop
  University of Oxford, 3-5 September 2024

• British Logic Colloquium
  University of Birmingham, 5-7 September 2024\