[Proof Complexity] Proof Complexity 2025

[Jan Pich]

Dear colleagues, 

We are excited to announce a 3-day proof complexity workshop in Oxford, taking place from August 11 to 13, in collaboration with Marco Carmosino and Iddo Tzameret. The workshop should be similar to the one we held in September 2024. To register for the workshop, please use the form available on its website:https://feasible-math.org/events/PC25/.

If you require a visa, need a confirmation of your participation or if you have any other question, please feel free to reach out. In case of visa applications, please do not postpone your decision.

Thank You,Jan Pich