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.

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.