Proof Theory, Modal Logic and Reflection Principles
Second International Wormshop
Mexico City, September 29th to October 2nd, 2014

Home     |     Organizers     |     Plan your stay    |     Program    |     Social events
Aims and Scope

The second edition of the conference series 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 Tecnológico Autónomo de México, situated near the center of one of the oldest and most charming neighborhoods in Mexico City.

It will begin Monday September 29th and end Thursday October 2nd, 2014. For those who wish to stay and visit Mexico, we will organize an excursion on Friday, October 3rd, from 9:00 AM to 4:00 PM.


The programme will consist of one-hour talks presenting recent advances. Talks will be sparsely scheduled in order to allow ample time for discussion and collaboration. There will also be a series of social and cultural events programmed around the workshop.

Grigori Mints memorial day

On May 2014, we received the terrible news that Grigori Mints had passed away. This is a great loss for logic, as well as a great personal loss for many of us involved in the workshop. Grigori was a speaker at Proof Theory and Modal Logic 2012 and was scheduled to join us once again this year. As a tribute, a session on Monday, September 29th will be devoted to him, and talks will center around topics of his interest, including proof theory and ordinal analysis.


Click on the link below to register. Registration includes a daily lunch and a welcome cocktail. It does not include additional social events such as the conference dinner. You will be redirected to the ITAM webpage where you may pay by credit card. For any questions about registration, e-mail David Fernández-Duque at Students may also enquire about modest financial assistance.


Until August 15th, 2014 After August 15th, 2014
Students and postdocs 1300 pesos (about 100USD*) 1700 pesos (about 130USD*)
Senior researchers 2000 pesos (about160USD*) 2600 pesos (about 200USD*)

* Prices in US dollars are approximate and may differ according to exchange rate.