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

Home     |     Speakers     |     Organizers     |     Plan your stay    |     Schedule     |     2012 Wormshop
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.

Format


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

Grigori Mints memorial session


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, the afternoon session of Tuesday, September 30th will be devoted to him, and talks will center around topics of his interest, including proof theory and constructive mathematics.

Registration

Click on the link below to register. 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 david.fernandez@itam.mx. Students may also enquire about modest financial assistance.

Register

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.

Sponsors