29 September 29 - 2 October 2014, Second International Wormshop on Proof Theory, Modal Logic and Reflection Principles, Mexico City

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.

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.

For more information, see http://personal.us.es/dfduque/PMR/