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 July 2013, Proof Theory in Lisbon, Lisbon, Portugal

Date: 19 July 2013
Location: Lisbon, Portugal

Just before the Logic Colloquium 2013 (Évora, Portugal) there will be a one-day workshop in Proof Theory in Lisbon. The main event of the workhop is a three-part lecture by Jean-Louis Krivine on his classical realizability of set theory, with new proofs of known relative consistency results.

Please have a look at http://www.ciul.ul.pt/~ferferr/ProofTheoryinLisbon.htm for information and participation.

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