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.

8 - 10 March 2006, Workshop on Constructive Set Theory, Room G103, Nieuwe Prinsengracht 130, Amsterdam / Room K11, Budapestlaan 6, Utrecht

Date: 8 - 10 March 2006
Location: Room G103, Nieuwe Prinsengracht 130, Amsterdam / Room K11, Budapestlaan 6, Utrecht

An informal workshop on constructive set theory (Aczel's CZF in particular), with speakers including Peter Aczel, Michael Rathjen and Robert Lubarsky.

For more information, see http://www.math.uu.nl/people/vdberg/workshop/

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