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