Arend Heyting Lectures
At least once every three years the Arend Heyting Foundation organises an Arend Heyting Lecture. With the Arend Heyting Lectures the Foundation tries to further the knowledge of mathematical logic, and Intuitionism in particular.
A list with events relevant to the Arend Heyting Stichting can be found here.
This year we celebrate the Alan Turing Centenary Year. The Arend Heyting Foundation participates in this Centenary, by devoting the Arend Heyting Lecture to Alan Turing's work. This year's lecture will be specifically about the Church-Turing Thesis.