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 consist of one-hour talks presenting recent advances. Talks will be sparsely scheduled in order to allow ample time for discussion and collaboration. There will also be a series of social and cultural events programmed around the workshop.
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, a session on 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. Registration includes a daily lunch and a welcome cocktail. It does not include additional social events such as the conference dinner. 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 firstname.lastname@example.org. Students may also enquire about modest financial assistance.
* Prices in US dollars are approximate and may differ according to exchange rate.