News and Events: Upcoming Events

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

22 June 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Clemens Grabmayer

Speaker: Clemens Grabmayer (VU)
Title: Derivability and admissibility of inference rules in abstract Hilbert systems
Date: Tuesday 22 June 2004
Time: 14:15-16:00
Location: TU Eindhoven, HG 6.96

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

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