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      <p>\n        
 Just before the Logic Colloquium 2013 (&Eacute;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    
   </p>\n    \n      <p>\n         Please have a lo
 ok at <a target="_blank" href="http://www.ciul.ul.
 pt/~ferferr/ProofTheoryinLisbon.htm">http://www.ci
 ul.ul.pt/~ferferr/ProofTheoryinLisbon.htm</a> for 
 information and participation.\n      </p>\n    
URL:/NewsandEvents/Archives/2013/newsitem/5020/19-
 July-2013-Proof-Theory-in-Lisbon-Lisbon-Portugal
END:VEVENT
END:VCALENDAR