Third St.Petersburg Days of Logic and Computability

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 г.

Контакты:
E-mail: LogicDays [at] logic.pdmi.ras.ru.

Сайт конференции