[FOM] Proof Theory in Lisbon

Fernando Ferreira ferferr at cii.fc.ul.pt
Fri Apr 26 17:06:37 EDT 2013

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


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


More information about the FOM mailing list