News and Events: Upcoming Events

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

20 January 2006, Colloquium on Mathematical Logic, Milad Niqui

Speaker: Milad Niqui (RU)
Title: Exact Real Numbers in Coinductive Type Theory
Date: Friday 20 January 2006
Time: 16:00-17:00
Location: Room 048, Bestuursgebouw, Heidelberglaan 8, Utrecht
(Bus 12 from Utrecht Central Station).

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.