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: zaleska@pdmi.ras.ru

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: http://www.pdmi.ras.ru/EIMI/2015/LC/index.html