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.

19 April 2013, Cool Logic, Hans Grathwohl

Speaker: Hans Grathwohl
Title: The Computational Content of Classical Proofs
Date: Friday 19 April 2013
Time: 17:30-18:30
Location: Room F1.15, SP 107, Amsterdam
Target audience: MSc Logic and PhD students

For more information, see http://www.illc.uva.nl/coollogic/ or contact .

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