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.

12 May 2006, Colloquium on Mathematical Logic, Joost J. Joosten

Speaker: Joost J. Joosten (Utrecht)
Title: Computational complexity and short proofs of consistency
+ statements
Date: Friday 12 May 2006
Time: 15:00-16:00
Location: Room 048, Bestuursgebouw, Heidelberglaan 8, Utrecht
(Bus 12 from Utrecht Central Station).

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.