Arend Heyting Stichting

## Arend Heyting LecturesAt least once every three years the A list with events relevant to the ## 2015
- 27 februari 2015
- Michael Rathjen - 136 years and still going strong(?): Cantor's continuum problem
- «Belle van Zuylenzaal» of Utrecht University Academy Hall, Domplein 29, Utrecht
- This Arend Heyting lecture is part of the scientific meeting
*Heyting Day 2015*.
## 2013
- 6 September 2013
- Johan van Benthem
*- Information Dynamics in Intuitionistic Logic* Ieke Moerdijk -*TBA* - Doelenzaal, Universiteitsbibliotheek, Universiteit van Amsterdam, Singel 425, 1012 WP Amsterdam.
*These Arend Heyting lectures are part of a meeting that commemorates the year 1963, which is considered the birth, both of Kripke Models and of the Categorical Foundations of intuitionistic logic. See here for more information.*
## 2012
- 7 September 2012, 16.00-18.00
*The Church-Turing Thesis and relative recursion*[slides] Yiannis Moschovakis KNAW, Kloveniersburgwal, Trippenzaal*The Heyting Lecture is part of the celebration of* the Alan Turing Year 2012 and part of the larger Intuitionism in 2012 event.
This year we celebrate the Alan Turing Centenary Year. The |