[Proof Complexity] Proof Complexity 2024

Jan Pich janpich at yahoo.com
Fri May 17 08:36:10 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 https://sites.google.com/view/proofcomplexity2024/home for more details.
To register for the workshop please use the following registration form https://form.jotform.com/241337739073359. 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