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