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.

16 March 2006, PROSE Colloquium, Adam Koprowski

Speaker: Adam Koprowski
Title: Topics in termination of term rewriting
Date: Thursday 16 March 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.