[FOM] Proof Theory in Lisbon

[Fernando Ferreira]

Dear FOMers,
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.
Fernando Ferreira and Jaime Gaspar

Fernando Ferreira
Departamento de Matemática
Faculdade de Ciências
Universidade de Lisboa
Campo Grande, Edifício C6, Gabinete 6.2.8
P-1749-016 Lisboa
Portugal

http://www.ciul.ul.pt/~ferferr/