BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/502
0/19-July-2013-Proof-Theory-in-Lisbon-Lisbon-Portu
gal
DTSTAMP:20130428T000000
SUMMARY:Proof Theory in Lisbon, Lisbon, Portugal
DTSTART;VALUE=DATE:20130719
DTEND;VALUE=DATE:20130719
LOCATION:Lisbon, Portugal
DESCRIPTION: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 Kriv
ine on his classical realizability of set theory,
with new proofs of known relative consistency resu
lts. Please have a look at http://www.ciul.ul.p
t/~ferferr/ProofTheoryinLisbon.htm for information
and participation.
X-ALT-DESC;FMTTYPE=text/html:\n \n
Just before the Logic Colloquium 2013 (Évor
a, Portugal)\n there will be a one-day work
shop in Proof Theory in\n Lisbon. The main
event of the workhop is a three-part lecture\n
by Jean-Louis Krivine on his classical realiza
bility of set\n theory, with new proofs of
known relative consistency\n results.\n

\n \n \n Please have a lo
ok at http://www.ci
ul.ul.pt/~ferferr/ProofTheoryinLisbon.htm for
information and participation.\n

\n
URL:/NewsandEvents/Events/Conferences/newsitem/502
0/19-July-2013-Proof-Theory-in-Lisbon-Lisbon-Portu
gal
END:VEVENT
END:VCALENDAR