News and Events: Conferences

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.