News and Events: Upcoming Events

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

28 October 2005, Diamant Day

Date: Friday 28 October 2005
Location: Brouwer Institute, Nijmegen

One-day lecture series on Constructive Interactive Mathematics, featuring Dana Scott, Freek Wiedijk, Wim Hesselink/Jaap Top and Jeremy Avigad.

For the lunch, please register before 21 October. For more information and a preliminary program, see http://www.cs.ru.nl/fnds/diamant/.

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