Adian 90: Conference on Mathematical Logic, Algebra and Computation (July 5-8, 2021)
The conference is dedicated to the 90-th birthday of Sergei Adian (1931-2020).
It is organized by Steklov Mathematical Institute of RAS and Steklov International Mathematical Center. The conference 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 Moscow at Steklov Mathematical Institute of RAS (room 104) and online in Zoom.
To participate in the conference, please follow the registration procedure of Logical Perspectives 2021 program. We kindly ask all participants to register.