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/2016/newsitem/7490/5-9
 -September-2016-Workshop-on-Proof-Theory-Modal-Log
 ic-and-Reflection-Principles-Tbilisi-Georgia
DTSTAMP:20160707T000000
SUMMARY:5-9 September, 2016, Workshop on Proof The
 ory, Modal Logic and Reflection Principles, Tbilis
 i, Georgia
DTSTART;VALUE=DATE:20160705
DTEND;VALUE=DATE:20161005
LOCATION:Tbilisi, Georgia
DESCRIPTION:A recent approach to proof theory uses
  techniques form modal logic to compute the consis
 tency strength of formal theories. As a result one
  obtains, among other benefits, semi-finitary cons
 istency proofs in the spirit of the extended Hilbe
 rt?s programme.   This approach requires technique
 s from many disciplines; the aim of this workshop 
 is to bring together experts in relevant fields in
  order to discuss recent advances and foster new c
 ollaborations.   For more information, see http://
 www.phil.uu.nl/~jjoosten/Wormshop2016/
X-ALT-DESC;FMTTYPE=text/html:\n      <p>A recent a
 pproach to proof theory uses techniques form modal
  logic to\n        compute the consistency strengt
 h of formal theories. As a result one\n        obt
 ains, among other benefits, semi-finitary consiste
 ncy proofs in the\n        spirit of the extended 
 Hilbert?s programme.\n      </p>\n      <p>This ap
 proach requires techniques from many disciplines; 
 the aim of this\n        workshop is to bring toge
 ther experts in relevant fields in order to\n     
    discuss recent advances and foster new collabor
 ations.\n      </p>\n    \n        <p>For more inf
 ormation, see <a target="_blank" href="http://www.
 phil.uu.nl/~jjoosten/Wormshop2016/">http://www.phi
 l.uu.nl/~jjoosten/Wormshop2016/</a></p>\n    
URL:/NewsandEvents/Archives/2016/newsitem/7490/5-9
 -September-2016-Workshop-on-Proof-Theory-Modal-Log
 ic-and-Reflection-Principles-Tbilisi-Georgia
END:VEVENT
END:VCALENDAR