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.

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.