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
+ statements
Date: Friday 12 May 2006
Time: 15:00-16:00
Location: Room 048, Bestuursgebouw, Heidelberglaan 8, Utrecht
(Bus 12 from Utrecht Central Station).
(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.