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 A Π^{0}_{1} 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.

\n
\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.

\n\n To register, please contact Joost J. Joosten at\n
jjoosten
at ub.edu *by April 10th*. There
is a registration fee of\n 80€. 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.

\n \n For more information, see http:
//www.phil.uu.nl/~jjoosten/WormShop/.

\n
URL:/NewsandEvents/Archives/2012/newsitem/4375/16-
19-April-2012-Proof-Theory-and-Modal-Logic-Barcelo
na-Spain
END:VEVENT
END:VCALENDAR