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:

• 12th Smirnov Readings in Logic, June 24–26;
• 16th International Computer Science Symposium in Russia, June 28–July 2.

The Zoom broadcast link will be sent to the registered participants only. To register, please visit http://lp2021.mi-ras.ru/participation.html.

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

Постер

Доклады

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

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

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