Logic List Mailing Archive

3rd St. Petersburg Days of Logic and Computability, in memory of Grigory Mints (1939-2014)

24-26 Aug 2015
St. Petersburg, Russia

Third St.Petersburg Days of LOGIC and COMPUTABILITY
August 24-26, 2015
Euler International Mathematical Institute, St. Petersburg, Russia
http://www.pdmi.ras.ru/EIMI/2015/LC/

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(http://www.pdmi.ras.ru/EIMI/).

Organizing committee:
Vladimir Orevkov, Alexei Pastor

Program committee:
* Vladimir OREVKOV (St.Petersburg), chairperson
* Solomon FEFERMAN (Stanford)
* Boris KONEV(Liverpool)
* Yuri MATIYASEVICH (St.Petersburg)
* Anatol SLISSENKO (Paris)
* Enn Tyugu (Tallinn)