[FOM] FINAL CALL FOR PARTICIPATION Workshop on Proof Theory, Modal Logic and Reflection Principles

JOOST JOOSTEN jjoosten at ub.edu
Thu Sep 4 12:27:02 EDT 2014


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/



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



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 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.


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



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.



If you wish to attend the workshop, please e-mail David Fernández-Duque (david.fernandez at itam.mx<mailto:david.fernandez at 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



Consejo Nacional de Ciencia y Tecnología
Instituto Tecnológico Autónomo de México
Sociedad Matemática Mexicana



Lev D. Beklemishev
David Fernández-Duque (chair)
Joost J. Joosten


Joost J. Joosten
Dept. Lògica, Història i Filosofia de la Ciència.
Universitat de Barcelona
Montalegre, 6
08001 Barcelona

Phone: +34 622221327
Office:  +34 934037984

Aquest correu electrònic i els annexos poden contenir informació confidencial o protegida legalment i està adreçat exclusivament a la persona o entitat destinatària. Si no sou el destinatari final o la persona encarregada de rebre’l, no esteu autoritzat a llegir-lo, retenir-lo, modificar-lo, distribuir-lo, copiar-lo ni a revelar-ne el contingut. Si heu rebut aquest correu electrònic per error, us preguem que n’informeu al remitent i que elimineu del sistema el missatge i el material annex que pugui contenir. Gràcies per la vostra col·laboració.

Este correo electrónico y sus anexos pueden contener información confidencial o legalmente protegida y está exclusivamente dirigido a la persona o entidad destinataria. Si usted no es el destinatario final o la persona encargada de recibirlo, no está autorizado a leerlo, retenerlo, modificarlo, distribuirlo, copiarlo ni a revelar su contenido. Si ha recibido este mensaje electrónico por error, le rogamos que informe al remitente y elimine del sistema el mensaje y el material anexo que pueda contener. Gracias por su colaboración.

This email message and any documents attached to it may contain confidential or legally protected material and are intended solely for the use of the individual or organization to whom they are addressed. We remind you that if you are not the intended recipient of this email message or the person responsible for processing it, then you are not authorized to read, save, modify, send, copy or disclose any of its contents. If you have received this email message by mistake, we kindly ask you to inform the sender of this and to eliminate both the message and any attachments it carries from your account. Thank you for your collaboration.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20140904/0fa799db/attachment-0001.html>

More information about the FOM mailing list