19 July 2013
Lisbon, Portugal
SECOND ANNOUNCEMENT Proof Theory in Lisbon: a one-day workshop 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 relative consistency results. Please have a look at http://www.ciul.ul.pt/~ferferr/ProofTheoryinLisbon.htm for information. The workshop includes the following participants: Jean-Louis Krivine, Ulrich Kohlenbach, Fernando Ferreira, Jaime Gaspar, Ali Enayat, Benno ven den Berg, Gilda Ferreira, Daniel Durante and Alexander Kreuzer. Fernando Ferreira and Jaime Gaspar