[Proof Complexity] Proof Complexity 2024

Jan Pich janpich at yahoo.com
Fri May 17 08:30:30 CEST 2024

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

More information about the Proof-Complexity mailing list