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