Logic List Mailing Archive

Proof Theory in Lisbon

19 Jul 2013
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.
Fernando Ferreira and Jaime Gaspar

Fernando Ferreira
Departamento de Matemtica
Faculdade de Cincias
Universidade de Lisboa
Campo Grande, Edifcio C6, Gabinete 6.2.8
P-1749-016 Lisboa
Portugal

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