6 September 2013
Amsterdam, The Netherlands
Dear all, 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/Meeting-on-Kripke-models-and-Categorical-Foundations-of-Intuitionistic-logic/ I hope you will come in great numbers. Best wishes, Albert Visser Secretary Heyting Foundation ------------ Albert Visser, Department of Philosophy Janskerkhof 13a, 3512 BL Utrecht The Netherlands Phone 0031-30-2532173