[Proof Complexity] 37th British Coll. for TCS

Jan Krajicek krajicek at karlin.mff.cuni.cz
Sat Dec 5 16:28:43 CET 2020

 Dear colleagues,

 I have been asked to circulate information about the 37th
British Colloquium for Theoretical Computer Science in Liverpool
late March next year. It will be fully online and open to all.
In particular, students are most welcome.

 They have a draft version of the event web-site is at:


                                Best regards,


More information about the Proof-Complexity mailing list