[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:
https://intranet.csc.liv.ac.uk/~bctcs2021/
Best regards,
Jan
More information about the Proof-Complexity
mailing list