Third St.Petersburg Days of Logic and Computability

Країна: Росія

Місто: Санкт-Петербург

Тези до: 15.05.2015

Дати: 24.08.15 — 26.08.15

Е-мейл Оргкомітету: zaleska@pdmi.ras.ru

Організатори: the Euler International Mathematical Institute of the Russian Academy of Sciences, Branch of Steklov Mathematical Institute RAN

 

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

Веб-сторінка конференції: http://www.pdmi.ras.ru/EIMI/2015/LC/index.html