[FOM] Proof Theory in Lisbon

[Fernando Ferreira]

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



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/