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        <p>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.
 </p>\n        <p>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. </p>\n        <p>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.</p>\n    \n        <p>For more information,
  see <a target="_blank" href="http://personal.us.e
 s/dfduque/PMR/">http://personal.us.es/dfduque/PMR/
 </a></p>\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