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.