Third St.Petersburg Days of Logic and Computability

Country: Russian Federation

City: Санкт-Петербург

Abstr. due: 15.05.2015

Dates: 24.08.15 — 26.08.15

Area Of Sciences: Physics and math; Computer science;

Organizing comittee e-mail:

Organizers: 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

Conference Web-Site: