Third St.Petersburg Days
of LOGIC and COMPUTABILITY

This third meeting in the series of St.Petersburg Days of Logic and Computability is devoted to the memory of Grigory Mints (1939-2014). The main themes of the meeting are those related to his mathematical interests:

• Proof theory
• Intuitionistic logic
• Modal logic
• Non-classical logics
• Automated deduction
• Constructive mathematics
• Applications of proof theory to category theory

This conference will be held at the Euler International Mathematical Institute of the Russian Academy of Sciences, Branch of Steklov Mathematical Institute RAN, Saint Petersburg, Russia, on August 24-26, 2015.

If you are interested in the conference, please fill in the registration form on the site http://www.pdmi.ras.ru/EIMI/2015/LC/app.html. You can find the template for your abstract on http://www.pdmi.ras.ru/EIMI/2015/LC/abstract_guide.tex. The abstract should be in English and should not exceed two pages.

Please submit your abstracts to LogicDays [at] logic.pdmi.ras.ru The deadline for submission is May 15, 2015. We shall confirm/decline the submissions not later than June 15, 2015.

The language of the conference is English. The conference fee equivalent to 120 euro can be paid on arrival.

The conference is supported by:

• the Russian Foundation for Basic Research (RFBR grant 15-01-20640)
• the Government of the Russian Federation (grant 14.Z50.31.0030)

Program committee:

• Vladimir OREVKOV (St.Petersburg), chairperson
• Solomon FEFERMAN (Stanford)
• Boris KONEV(Liverpool)
• Yuri MATIYASEVICH (St.Petersburg)
• Anatol SLISSENKO (Paris)
• Enn TYUGU (Tallinn)
• Yuri MANIN (Germany)

Organizing committee:

• Boris KONEV (Liverpool)
• Nikolai KOSSOVSKI (St.Petersburg)
• Vladimir OREVKOV (St.Petersburg)
• Alexei PASTOR (St.Petersburg)
• Maxim VSEMIRNOV (St.Petersburg)
• Nadezhda Zalesskaya (St.Petersburg)