News and Events: Upcoming Events

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

30 October 2003, Colloquium on Mathematical Logic, Gilles Dowek

Speaker: Gilles Dowek (École Polytechnique, INRIA)
Title: Eigenvariables, bracketing and the decidability of positive minimal
logic
Date: Thursday 30 October 2003
Time: 16:00-17:00
Location: Room 114, Ruppertgebouw (Trans I, Leuvenlaan 19), Utrecht

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.