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.

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.