Logic List Mailing Archive

Third International Wormshop: Proof Theory, Modal Logic, and Reflection Principles

5-9 Sep 2016
Tbilisi, Georgia

*CALL FOR REGISTRATION AND PARTICIPATION

Title*: Workshop on Proof Theory, Modal Logic and Reflection Principles (Third 
International Wormshop)

*Date*: Monday, September 5 -- Friday, September 9, 2016
*Location*: Tbilisi, Georgia
*Webpage: *http://www.phil.uu.nl/~jjoosten/Wormshop2016/

*Topics:*

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)


*Registration:*

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

*Organizing committee:*

Lev D. Beklemishev, David Fernández Duque, David Gabelaia, Eduardo Hermo Reyes, 
Nino Antidze and Joost J. Joosten


--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam