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.

12 May 2006, Colloquium on Mathematical Logic, Marek Kwiatkowski

Speaker: Marek Kwiatkowski (VU)
Title: Ordinal Arithmetic via Infinite Term rewriting
Date: Friday 12 May 2006
Time: 16:00-17:00
Location: Room P.016, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan.)

For abstracts and more information, see http://staff.science.uva.nl/~bloewe/CML.html

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