BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/749
0/5-9-September-2016-Workshop-on-Proof-Theory-Moda
l-Logic-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 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

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

\n \n For more inf
ormation, see http://www.phi
l.uu.nl/~jjoosten/Wormshop2016/

\n
URL:/NewsandEvents/Events/Conferences/newsitem/749
0/5-9-September-2016-Workshop-on-Proof-Theory-Moda
l-Logic-and-Reflection-Principles-Tbilisi-Georgia
END:VEVENT
END:VCALENDAR