[Proof Complexity] Logic Colloquium in Leeds

Olaf Beyersdorff O.Beyersdorff at leeds.ac.uk
Wed May 11 11:28:24 CEST 2016

Dear colleagues,

This is a kind reminder that the deadline for early registration for Logic Colloquium 2016 (July 31st - August 6th, University of Leeds) is

Sunday 15th May

Early registration guarantees lower registration fee and on-campus accommodation.

Please go to the webpage


to register.

A preliminary schedule of the meeting, including special sessions, is available on the page


With best regards,
Olaf Beyersdorff (on behalf of the LC2016 organizing committee)

Dr Olaf Beyersdorff,  Associate Professor
School of Computing
University of Leeds, Leeds, LS2 9JT, UK.
Phone: +44 113 343 8319
Email: O.Beyersdorff at leeds.ac.uk<mailto:O.Beyersdorff at leeds.ac.uk>

More information about the Proof-Complexity mailing list