News and Events: Upcoming Events

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

15 November 2005, Zuidelijk Interuniversitair Colloquium (ZIC), Iris Loeb and Herman Geuvers

Speaker: Iris Loeb and Herman Geuvers
Title: Natural deduction via graphs
Date: Tuesday 15 November 2005
Time: 14:15-16:00
Location: TU Eindhoven, HG 6.29

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.