Конференции
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  


Logical Perspectives 2021: Summer School and Workshop
(14–18 июня 2021 г., Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, г. Москва)

The Logical Perspectives Summer School and Workshop Series aims at giving advanced introductions into various branches of logic, and providing researchers — including early career scientists — an opportunity to present their work. In particular, LP 2021 SSW will be concerned with computational proof theory, broadly understood. More precisely, the programme will comprise three mini-courses on different aspects of computational proof theory, and also a number of contributed talks.

It should be noted that LP 2021 Summer School and Workshop is a part of the broader thematic programme including the following events:

  • LP 2021 Conference, June 7–11;
  • Formal Philosophy 2021 Conference, June 21–23;
  • Adian 90: Conference on Logic, Algebra & Computation, July 5–7.

Among the other logic-related events that will take place in Russia during this period are:

Финансовая поддержка. Конференция проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2019-1614).

Website: http://lp2021.mi-ras.ru/workshop.html

Постер

RSS:

Программный комитет
Matthias Baaz
Lev Beklemishev
Stanislav Speranski
Andre Scedrov

Организационный комитет
Lev Beklemishev
Stepan Kuznetsov
Stanislav Speranski

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)

 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021