[Proof Complexity] Logic Colloquium in Leeds

[Olaf Beyersdorff]

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

http://www.lc2016.leeds.ac.uk/registration.html

to register.

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

http://www.lc2016.leeds.ac.uk/schedule.html

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>
http://www.engineering.leeds.ac.uk/people/computing/staff/o.beyersdorff