Please note that this newsitem has been archived, and may contain outdated information or links.
20 April 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Jesper Carlström
Speaker: Jesper Carlström
(Stokholm/Nijmegen)
(Stokholm/Nijmegen)
Title: Interpreting descriptions in intensional type theory
Date: Tuesday 20 April 2004
Time: 14:15-16:00
Location: TU Eindhoven, Auditorium 12 (<em>please note the unusual location</em>)
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov (G.I.Jojgov at tue.nl).
Please note that this newsitem has been archived, and may contain outdated information or links.