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.

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.