News and Events: Upcoming Events

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

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