Third St.Petersburg Days of Logic and Computability

24 - 26 August 2015, St. Petersburg

Rubrics: Conference | Mathematics

Activity URL: http://www.pdmi.ras.ru/EIMI/2015/LC/index.html

Description:

24–26 августа 2015 года, Санкт-Петербург, Международный математический институт им. Эйлера.

Конференция посвящена памяти Григория Ефроимовича Минца (1939–2014).

Основные темы конференции:

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

Официальный язык: английский.

Окончание приема тезисов докладов: 15 мая 2015 г.

Deadline date: May 15, 2015

Organizers:
Санкт-Петербургское отделение математического института им. В. А. Стеклова РАН,
Международный математический институт им. Эйлера.

Contact information:
E-mail: LogicDays [at] logic.pdmi.ras.ru.

Information source: http://elementy.ru/