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.

14 March 2006, 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 14 March 2006
Time: 16:00-17:00
Location: Dorgelozaal (Traversegebouw), TU Eindhoven

The ZIC colloquium started in september 1986, and this talk will be the 250th talk in the series. Because it is always good to end on a high note, we have decided to let this 250th talk be the final one. We are very happy that Henk Barendregt, who has been a regular speaker at the ZIC from the very start, has accepted our invitation to give this very last lecture.

We would like to say goodbye to the ZIC and celebrate its succesful history in the company of the people who have been interested and involved in the ZIC over the past 20 years. We therefore warmly invite you to attend this last talk and have a drink with us 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.