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.