Please note that this newsitem has been archived, and may contain outdated information or links.
16 November 2007, Colloquium on Mathematical Logic, Tatiana Yavorskaya
Speaker: Tatiana Yavorskaya (was: Rostik Yavorsky)
Title: Interacting explicit evidence systems
Date: Friday 16 November 2007
Time: 16:00-17:00
Location: Room 267, Bestuursgebouw, Heidelberglaan, Utrecht
(Bus 11 or 12 from Utrecht Central Station, stop 'AZU').
(Bus 11 or 12 from Utrecht Central Station, stop 'AZU').
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.