LC2016: early registration deadline

LC2016: early registration deadline

[Nicola Gambino]

Dear friends and 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.

Please go to the webpage

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

if you wish to register. 

A preliminary schedule of the meeting, including the plenary talks by Benno van den Berg and Richard Garner and the 3-hour tutorial by Thierry Coqand, is available on the page

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

I would also like to draw your attention to the workshop “Categorical Logic and Univalent Foundations”,

	http://hott16.leeds.ac.uk

to be held just before LC2016. 

With best regards,
Nicola Gambino (on behalf of the LC2016 organizing committee) 


===
Dr Nicola Gambino
School of Mathematics
University of Leeds
E-mail: n.ga...@leeds.ac.uk