News and Events: Upcoming Events

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

14 October 2005, Colloquium on Mathematical Logic, Nikolay Vereshchagin

Speaker: Nikolay Vereshchagin (Moscow University, CWI)
Title: Game semantics for intuitionistic propositional calculus IPC
Date: Friday 14 October 2005
Time: 16:00-17:00
Location: Room P.016, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan.)

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.