Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: Friday 6 September 2013
Location: Doelenzaal, Universiteitsbibliotheek, Singel 425, Amsterdam

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/

Please note that this newsitem has been archived, and may contain outdated information or links.