[Proof Complexity] PC26

[Raheleh Jalali]

Dear colleagues,

This is a friendly reminder to register for the Workshop on Proof
Complexity, which will take place in Bath on 16–17 June.

Attendance is free of charge, but registration is required so that we can
make the necessary catering and organisational arrangements. The
registration deadline is 15 May. The registration form is available on the
event website:

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

Looking forward to welcoming you to Bath and seeing you at the workshop.

Best regards,
Raheleh.