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.

Financial support. The conference is supported by the Simons Foundation and the Ministry of Science and Higher Education of the Russian Federation (the grant to the Steklov International Mathematical Center, agreement no. 075-15-2019-1614).

Рoster

Abstracts

Program Committee
Matthias Baaz
Lev Beklemishev
Andre Scedrov
Stanislav Speranski

Organizing Committee
Lev Beklemishev
Stepan Kuznetsov
Stanislav Speranski

Institutions
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Steklov International Mathematical Center