Please note that this newsitem has been archived, and may contain outdated information or links.
16 February 2006, OAS Colloquium, Adam Koprowski
Speaker: Adam Koprowski
Title: Certified Higher-Order Recursive Path Ordering
Date: Thursday 16 February 2006
Time: 16:15-17:00
Location: Room 6.96, HG (Main Building), TU Eindhoven
For more information, see http://www.win.tue.nl/oas/main_colloquium.html.
Please note that this newsitem has been archived, and may contain outdated information or links.