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.

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 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.
 
Alan Matheson Turing (1912-1954) made fundamental contributions to Logic and Foundations. He developed the machine model known as the Turing Machine. The Turing Thesis says that every algorithmic computation can be imitated by a Turing Machine.

Alan Turing obtained fundamental results on solvability and unsolvability of certain problems. In passing, he introduced the notion of Turing reducibility, which gave rise to the study of Turing Degrees.
 
Turing also wrote a pioneering paper on progressions of formal theories.