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/2014/newsitem/5721/29-
September-29---2-October-2014-Second-International
-Wormshop-on-Proof-Theory-Modal-Logic-and-Reflecti
on-Principles-Mexico-City
DTSTAMP:20140424T000000
SUMMARY:Second International Wormshop on Proof The
ory, Modal Logic and Reflection Principles, Mexico
City
DTSTART;VALUE=DATE:20140929
DTEND;VALUE=DATE:20141002
LOCATION:Mexico City
DESCRIPTION:The second edition of the conference s
eries Proof Theory, Modal Logic and Reflection Pri
nciples (formerly Proof Theory and Modal Logic) wi
ll be held in Mexico City from September 29th to O
ctober 2nd 2014, following the first installment i
n Barcelona in 2012. A recent approach to proof t
heory uses techniques from modal logic to compute
the consistency strength of formal theories. As a
result one obtains, among other benefits, semi-fin
itary consistency proofs in the spirit of the exte
nded Hilbert's programme. This approach requires t
echniques from many disciplines; the aim of this w
orkshop is to bring together experts in relevant f
ields in order to discuss recent advances and fost
er new collaborations. The programme will includ
e both tutorials and presentations of new results.
Talks will be sparsely scheduled in order to allo
w ample time for discussion and collaboration. Fo
r more information, see http://personal.us.es/dfdu
que/PMR/
X-ALT-DESC;FMTTYPE=text/html:\n The seco
nd edition of the conference series Proof Theory,
Modal Logic and Reflection Principles (formerly Pr
oof Theory and Modal Logic) will be held in Mexico
City from September 29th to October 2nd 2014, fol
lowing the first installment in Barcelona in 2012.

\n A recent approach to proof theory
uses techniques from modal logic to compute the c
onsistency strength of formal theories. As a resul
t one obtains, among other benefits, semi-finitary
consistency proofs in the spirit of the extended
Hilbert's programme. This approach requires techni
ques from many disciplines; the aim of this worksh
op is to bring together experts in relevant fields
in order to discuss recent advances and foster ne
w collaborations.

\n The programme w
ill include both tutorials and presentations of ne
w results. Talks will be sparsely scheduled in ord
er to allow ample time for discussion and collabor
ation.

\n \n For more information,
see http://personal.us.es/dfduque/PMR/

\n
URL:/NewsandEvents/Archives/2014/newsitem/5721/29-
September-29---2-October-2014-Second-International
-Wormshop-on-Proof-Theory-Modal-Logic-and-Reflecti
on-Principles-Mexico-City
END:VEVENT
END:VCALENDAR