[FOM] Fwd: CfPart: Proof Theory, Modal Logic and Reflection Principles 2016 in Tbilisi, Georgia

Martin Davis martin at eipye.com
Tue Jul 5 17:31:36 EDT 2016

---------- Forwarded message ----------
From: David Fernández Duque <davidstoteles at gmail.com>
Date: Tue, Jul 5, 2016 at 10:29 AM
Subject: CfPart: Proof Theory, Modal Logic and Reflection Principles 2016
in Tbilisi, Georgia

Theory, Modal Logic and Reflection Principles (Third International
*Date*: Monday, September 5 -- Friday, September 9, 2016
*Location*: Tbilisi, Georgia
*Webpage: *http://www.phil.uu.nl/~jjoosten/Wormshop2016/


A recent approach to proof theory uses techniques form modal logic to
compute the consistency strength of formal theories. As a result one
obtains, among other benefits, semi-finitary consistency proofs in the
spirit of the extended Hilbert’s programme.

This approach requires techniques 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 collaborations. Topics include,
but are not limited, to

• Turing-Feferman progressions
• Provability logics and algebras
• Weak fragments of modal logics
• Proof-theory of arithmetic and analysis
• Ordinal analysis
• Point-set topology
• Set theory
• Model theory

This workshop is the third edition following the 2012 edition in Barcelona
<http://www.phil.uu.nl/%7Ejjoosten/WormShop/> and the 2014 edition in
Mexico city <http://personal.us.es/dfduque/PMR/>.

*Confirmed speakers: *

   - Juan Pablo Aguilera (Vienna University of Technology, Austria)
   - Sergei Artemov (CUNY, New York, USA)
   - Lev D. Beklemishev (Steklov Mathematical Institute, Russia)
   - David Fernández-Duque (CIMI, University of Toulouse, France)
   - David Gabelaia (A. Razmadze Mathematical Institute. Georgia, TBC)
   - Paula Henk (ILLC, Amsterdam, The Netherlands)
   - Eduardo Hermo Reyes (University of Barcelona, Spain)
   - Joost J. Joosten (University of Barcelona, Spain)
   - Elena Nogina (BMCC, New York, USA)
   - Fedor Pakhomov (Steklov Mathematical Institute, Russia)
   - Paul Shafer (Univeristy of Ghent, Belgium)
   - Daniyar Shamkanov (Steklov Mathematical Institute, Russia)


If you are interested in attending the workshop, please e-mail David
Gabelaia at gabelaia at gmail.com. A registration fee of 200€ is payable upon

*Organizing committee:*

Lev D. Beklemishev, David Fernández Duque, David Gabelaia, Eduardo Hermo
Reyes, Nino Antidze and Joost J. Joosten
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160705/25e039a9/attachment.html>

More information about the FOM mailing list