[Proof Complexity] Proof Complexity 2024

[Jan Pich]

Dear colleagues,
there will be a proof complexity workshop in Oxford from 3 to 5 September 2024.
The workshop aims to cover both traditional topics and emerging trends in the area such as lower bounds on lengths of proofs, bounded arithmetic, model theory & forcing, SAT & QBF solving, connections to TFNP and algebraic complexity, lifting theorems and meta-mathematics of complexity theory. See Proof Complexity 2024 for more details.

To register for the workshop please use the following registration form. Registration is needed in order for you to gain access to the building and receive information about future updates.
Best wishes,Jan Pich