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.

18 May 2007, Colloquium on Mathematical Logic, Dimitri Hendriks

Speaker: Dimitri Hendriks (VU)
Title: A calculus for deciding productivity of recursive stream definitions
Date: Friday 18 May 2007
Time: 16:00-17:00
Location: Room E.015, Faculty of Economics, Roetersstraat 11, Amsterdam

(Tram 9 from Central Station, to Plantage Badlaan).

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

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