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.

20 December 2005, Zuidelijk Interuniversitair Colloquium (ZIC), Henk Barendregt
,

Speaker: Henk Barendregt
(Nijmegen), <em>postponed</em>
Title: Topics in Typed Lambda Calculus (250th and final ZIC!)
Date: Tuesday 20 December 2005
Time: 16:00-17:00
Location: Dorgelozaal (Traversegebouw), TU Eindhoven

Due to illness of ZIC-initiator and organiser Rob Nederpelt, we have decided to postpone the 250th and last ZIC, announced for Tuesday December 20.

The ZIC colloquium started in september 1986, and we are currently approaching the 250th talk in this series! In the light of several developments, and because it is always good to end on a high note, we have decided to let this 250th talk be the final one. To say goodbye to the ZIC and to celebrate its succesful history, this last talk will be a special event. There will be drinks afterwards!

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne ().

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