Please note that this newsitem has been archived, and may contain outdated information or links.
14 December 2001, Thematic Afternoon on Constructivism,
De Rode Hoed, Keizersgracht 102, 1015 CV Amsterdam
Date: Friday 14 December 2001
Location: De Rode Hoed, Keizersgracht 102, 1015 CV Amsterdam
Provisional Programme
13.30-13.45 Reception with tea, coffee
13.45-14.00 Introduction by the chairman of the Arend Heyting
Foundation
14.00-15.00 F. Richman, Constructive algebra
(1st Arend Heyting Lecture)
15.00-15.45 Tea
15.45-16.45 A. Simpson, After the Interval
16.50-17.35 J. van Oosten, Modified realizability
For more information, see http://staff.science.uva.nl/~anne/heyting.html
Please note that this newsitem has been archived, and may contain outdated information or links.