[FOM] First call for participation: Proof Theory, Modal Logic and Reflection Principles 2014

JOOST JOOSTEN jjoosten at ub.edu
Wed Apr 23 04:23:56 EDT 2014


Proof Theory, Modal Logic and Reflection Principles: Second International Wormshop

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 in one of the oldest and most charming districts in Mexico City.

It will begin Monday September 29th and end Thursday October 2nd, 2014.



+ Sergei Artemov
+ Lev Beklemishev
+ Timothy Carlson
+ Andrés Cordón-Franco
+ Eduardo Hermo Reyes
+ Solomon Feferman
+ David Fernández-Duque
+ Melvin Fitting
+ Kentaro Fujimoto (TBC)
+ Joost J. Joosten
+ Francisco Félix Lara (TBC)
+ Grigori Mints
+ Antonio Montalbán
+ Michael Rathjen (TBC)
+ Paul Shafer
+ Stephen Simpson



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.



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: 100 USD / 1300 pesos until August 15th, 2014, 130 USD / 1300 pesos afterward

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



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

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/20140423/e41f4865/attachment-0001.html>

More information about the FOM mailing list