The Logical Perspectives conference series aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations. Among the key topics are:

• logical methods in mathematics;
• logical methods in philosophy;
• logical methods in computer science.

Furthermore, LP 2021 Conference is a part of the broader thematic programme including the following events:

• LP 2021 Summer School, June 14–16;
• LP 2021 Workshop, June 17–18;
• 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.

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
Lev Beklemishev
Stanislav Speranski

Organizing Committee
Lev Beklemishev
Stepan Kuznetsov
Stanislav Speranski

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