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.

27 February 2015, Heyting Day 2015

Date: Friday 27 February 2015
Time: 9.15 - 18.00
Location: Belle van Zuylenzaal, Academiegebouw, Domplein 29, Utrecht

The Arend Heyting Foundation was founded in 1981 by prof. dr. A.S. Troelstra, under the auspices of the The Royal Netherlands Academy of Arts and Sciences and has as goal to further the knowledge of mathematical logic, and Intuitionism in particular. The Arend Heyting Foundation organizes an Arend Heyting Lecture at least once every three year. The 2015 Arend Heyting Lecture, entitled "136 years and still going strong?: Cantor's continuum problem", will be given by Michael Rathjen.

The Heyting Day 2015 is dedicated to the celebration of the 75th birthdays of Dick de Jongh and Anne Troelstra. The speakers of this year's Heyting Day are: Lev Beklemishev, Nick Bezhanishvili, Jaap van Oosten, Paulo Oliva and Michael Rathjen.

For more information, see http://phil.uu.nl/~albert/Heyting_Day/

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