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 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.