[Proof Complexity] Proof Complexity Workshop

[Raheleh Jalali]

Dear colleagues,

We are excited to announce a two-day workshop on proof complexity, which
will take place in Bath on 16–17 June. The workshop will follow the style
of similar events organized in previous years by Ján Pich, Iddo Tzameret,
and Marco Carmosino (Proof Complexity 2024
<https://sites.google.com/view/proofcomplexity2024>, Proof Complexity 2025
<https://feasible-math.org/events/PC25/>).

The event is free to attend, but we ask that you register in advance so we
can organise catering and other arrangements. Registration closes on 15
May. The online form can be found on the event website:

https://sites.google.com/view/proofcomplexity2026/home

If you need a confirmation of participation, or have any questions, please
do not hesitate to get in touch.

Thank you very much and looking forward to welcoming you.

Best regards,
Raheleh.