CfPart: Proof Theory, Modal Logic and Reflection Principles, Mexico City (Mexico), 29 Sep to 2 Oct 2014

Logic List Mailing Archive

CfPart: Proof Theory, Modal Logic and Reflection Principles, Mexico City (Mexico), 29 Sep to 2 Oct 2014

FINAL CALL FOR PARTICIPATION

Proof Theory, Modal Logic and Reflection Principles: Second International Wormshop
Including a memorial to Grisha Mints

Mexico City, September 29th to October 2nd, 2014

Webpage: http://personal.us.es/dfduque/PMR/

**************************************************************************

AIMS AND SCOPE

The second edition of the conference series Proof Theory, Modal Logic and
Reflection Principles (formerly Proof Theory and Modal Logic) will be held
in Mexico City from September 29th to October 2nd 2014, following the
first installment in Barcelona in 2012.

A recent approach to proof theory uses techniques from 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
+ Proof-theory of arithmetic and analysis
+ Ordinal analysis
+ Point-set topology
+ Set theory
+ Model theory

**************************************************************************

DATES AND VENUE

The workshop will be held in Instituto Tecnolgico Autnomo de Mxico,
situated near the center of one of the oldest and most charming districts
in Mexico City.

The scientific program will begin Monday, September 29 and end Thursday,
October 2, 2014. On Friday, October 3 there is an optional excursion
scheduled.

**************************************************************************

Our list of speakers has seen changes over the past month. We were shocked
by the terrible news of Grigori Mints' untimely passing. Instead of Mints
speaking at the workshop we will now dedicate a special day dedicated to
the memory of Grigori Mints.

On a more positive note, we are very pleased with the addition of many new
speakers.

SPEAKERS

+ Sergei Artemov
+ Lev Beklemishev
+ Ali Enayat
+ Eduardo Hermo-Reyes
+ David Fernndez-Duque
+ Melvin Fitting
+ Kentaro Fujimoto
+ Joost J. Joosten
+ Robert Lubarsky
+ Elena Nogina
+ Fedor Pakhomov
+ Wolfram Pohlers
+ Michael Rathjen
+ Daniyar Shamkanov
+ Paul Shafer
+ Stephen Simpson

**************************************************************************

FORMAT

The programme offers room for both tutorials and presentations of new results.
Talks will be sparsely scheduled in order to allow ample time for discussion and collaboration.

**************************************************************************

REGISTRATION

If you wish to attend the workshop, please e-mail David Fernndez-Duque
(david.fernandez@itam.mx<mailto:david.fernandez@itam.mx>). Registration
fees are payable by bank transfer. Students may also inquire about
possible financial assistance.

+ Students and postdocs: 130 USD / 1300 pesos

+ Senior researchers 160 USD / 2000 pesos, 200 USD / 2600 pesos afterward

**************************************************************************