Proof Theory, Modal Logic and Reflection Principles
Second International Wormshop
Mexico City, September 29th to October 2nd, 2014
Aims and Scope
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 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.
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 email@example.com. Students may also enquire about modest financial assistance.
* Prices in US dollars are approximate and may differ according to exchange rate.