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/2012/newsitem/4375/16-
 19-April-2012-Proof-Theory-and-Modal-Logic-Barcelo
 na-Spain
DTSTAMP:20120405T000000
SUMMARY:Proof Theory and Modal Logic, Barcelona, S
 pain
DTSTART;VALUE=DATE:20120416
DTEND;VALUE=DATE:20120419
LOCATION:Barcelona, Spain
DESCRIPTION:A Π01 ordinal analysis of Peano arithm
 etic can be based on provability logics with infin
 itely many modalities. The aims of the workshop ar
 e to report and to discuss progress on extending t
 he analysis to stronger theories, as well as to st
 udy the corresponding logics and algebras from top
 ological, set-theoretical and algebraic points of 
 view.   Topics include but are not restricted to: 
 reflection principles; Turing--Feferman recursive 
 progressions; provability logics and algebras; con
 servation results for fragments of arithmetic and 
 analysis; ordinal notation systems; topological an
 d set-theoretic interpretations of modal logic.  T
 o register, please contact Joost J. Joosten at jjo
 osten at ub.eduby April 10th. There is a registrat
 ion fee of 80€. Upon registration you will receive
  information on the method of payment. Students an
 d young researchers that wish to waive the fee sho
 uld mention this when registering.  For more infor
 mation, see http://www.phil.uu.nl/~jjoosten/WormSh
 op/.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>A &Pi;<sup
 >0</sup><sub>1</sub> ordinal analysis of Peano\n  
     arithmetic can be based on provability logics 
 with infinitely\n      many modalities. The aims o
 f the workshop are to report and to\n      discuss
  progress on extending the analysis to stronger th
 eories,\n      as well as to study the correspondi
 ng logics and algebras from\n      topological, se
 t-theoretical and algebraic points of view.</p>\n 
      <p>\n      Topics include but are not restric
 ted to: reflection principles;\n      Turing--Fefe
 rman recursive progressions; provability logics an
 d\n      algebras; conservation results for fragme
 nts of arithmetic and\n      analysis; ordinal not
 ation systems; topological and\n      set-theoreti
 c interpretations of modal logic.</p>\n\n       <p
 >To register, please contact Joost J. Joosten at\n
        <a class="email">jjoosten <span class="at">
 at</span> ub.edu</a> <em>by April 10th</em>. There
  is a registration fee of\n       80&euro;. Upon r
 egistration you will receive information on the\n 
       method of payment. Students and young resear
 chers that wish to\n       waive the fee should me
 ntion this when registering.</p>\n    \n        <p
 >For more information, see <a target="_blank" href
 ="http://www.phil.uu.nl/~jjoosten/WormShop/">http:
 //www.phil.uu.nl/~jjoosten/WormShop/</a>.</p>\n   
  
URL:/NewsandEvents/Archives/2012/newsitem/4375/16-
 19-April-2012-Proof-Theory-and-Modal-Logic-Barcelo
 na-Spain
END:VEVENT
END:VCALENDAR