This symposium is organized bij the OzsL, the VvL and the Heyting Foundation. People who worked on this event include Albert Visser, Rosalie Iemhoff, Frank de Haas (coordinatior OzsL) and Coert van Gemeren (student assistent).
The Arend Heyting Foundation came into being as the result of the last will of ms J.F. Heyting-van Anrooij, who died in september 1998. The aims of the Foundation are to support mathematical logic, and more specifically to organize every three years the Arend Heyting Lecture.
