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.

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.