The conference is dedicated to the 90-th birthday of Sergei Adian (1931-2020). It continues the series of Logic, Algebra and Computation conferences organized at Steklov Mathematical Institute over some years. It is also a part of the program Logical Perspectives 2021.

The conference will feature plenary lectures by distinguished specialists in the broadly conceived area of Logic, Algebra and Computation, as well as a number of shorter presentations. All talks will be invited. Topics traditionally include: combinatorial and geometric group theory, word problems, set theory, proof theory and ordinal analysis, computational complexity theory, computability theory, universal algebra, automata theory, constructive algebra and model theory, non-classical logics.

The conference will take place onsite in Steklov Mathematical Institute of RAS (Moscow) and online in Zoom.

Confirmed speakers

Conference program

Registration

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
Beklemishev Lev Dmitrievich (Chairman)
Goncharov Sergey Savostyanovich
Grigorchuk Rostislav Ivanovich
Kanel-Belov Aleksei Yakovlevich
Lysenok Igor Geront'evich
Razborov Alexander Alexandrovich
Semenov Aleksei Lvovich

Organizing Committee
Podolskii Vladimir Vladimirovich (Chairman)
Beklemishev Lev Dmitrievich
Lysenok Igor Geront'evich
Talambutsa Alexey Leonidovich

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