6 September 2013, Heyting Day: Meeting on Kripke Models and of the Categorical Foundations of intuitionistic logic

On September 6, the yearly Heyting Day takes place in Amsterdam. This festive day is devoted to the celebration both of the 50 year anniversary of Categorical Foundations and of the 50 year anniversary of Kripke models. Because of the double anniversary, this day includes two Heyting lectures, to wit by Ieke Moerdijk and Johan van Benthem.

For information about programme and venue, see: http://www.illc.uva.nl/KNAW/Heyting/nl/Events/