News and Events: Upcoming Events

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

21 September 2006, PROSE Colloquium, Hans Zantema

Speaker: Hans Zantema
Title: Recent developments in proving termination of rewriting automatically
Date: Thursday 21 September 2006
Time: 15:30-17:00
Location: Room 6.96, HG (Main Building), TU Eindhoven

For more information, see http://www.win.tue.nl/prose/

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