BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2013/newsitem/5020/19-
July-2013-Proof-Theory-in-Lisbon-Lisbon-Portugal
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

URL:/NewsandEvents/Archives/2013/newsitem/5020/19-
July-2013-Proof-Theory-in-Lisbon-Lisbon-Portugal
END:VEVENT
END:VCALENDAR