Adian 90: Conference on Mathematical Logic, Algebra, and Computation (July 5–8, 2021, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom, Moscow)
The conference is dedicated to the 90th birthday of Sergei Adian (19312020). 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, nonclassical logics.
The conference will take place onsite in Steklov Mathematical Institute of RAS (Moscow) and online in Zoom.
Confirmed speakers
Conference program
Conference abstracts
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. 0751520191614).
Рoster
Abstracts
RSS:
Program Committee
Beklemishev Lev Dmitrievich (Chairman) Goncharov Sergey Savostyanovich Grigorchuk Rostislav Ivanovich 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 

Adian 90: Conference on Mathematical Logic, Algebra, and Computation, Moscow, July 5–8, 2021 


July 4, 2021 (Sun) 

1. 
Commemorative visit to the grave of Sergei Ivanovich Adian July 4, 2021 17:00, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom






July 5, 2021 (Mon) 

2. 
Conference opening July 5, 2021 11:15–11:30, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





3. 
Small cancellation rings E. Rips July 5, 2021 11:30–12:15, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





4. 
Finite and locally finite groups generated with involutions A. M. Vershik July 5, 2021 12:45–13:30, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





5. 
Identities in twisted Brauer monoids M. V. Volkov July 5, 2021 13:30–14:15, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





6. 
Growth rates of Coxeter groups and Perron numbers A. L. Talambutsa July 5, 2021 16:15–17:00, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





7. 
Группы с nкручением, их расширения и эндоморфизмы V. S. Atabekyan July 5, 2021 17:00–17:45, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





8. 
Memorial session July 5, 2021 18:15–19:45, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom






July 6, 2021 (Tue) 

9. 
С.И.Адян и алгоритмические проблемы топологии S. P. Novikov July 6, 2021 11:00–11:30, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





10. 
On maximal subgroups in infinite finitely generated groups T. SmirnovaNagnibeda July 6, 2021 11:30–12:15, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





11. 
Bounded generation for linear and KacMoody groups E. B. Plotkin July 6, 2021 12:45–13:30, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





12. 
Combinatorial approach for Burnside groups of relatively small odd exponents A. S. Atkarskaya July 6, 2021 13:30–14:15, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





13. 
Rich structures and weak second order logic A. G. Myasnikov July 6, 2021 16:15–17:00, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





14. 
Countable elementary free groups O. G. Kharlampovich July 6, 2021 17:00–17:45, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





15. 
On the homology of Torelli groups A. A. Gaifullin July 6, 2021 18:15–19:00, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom






July 7, 2021 (Wed) 

16. 
Primitive recursive and automatic structures N. A. Bazhenov, I. Sh. Kalimullin July 7, 2021 11:30–12:15, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





17. 
Paradoxical partitions of the reals by Robert Solovay V. G. Kanovei July 7, 2021 12:45–13:30, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





18. 
New examples of torsion groups V. V. Nekrashevych July 7, 2021 13:30–14:15, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





19. 
First order rigidity of highrank arithmetic groups A. Lubotzky July 7, 2021 16:15–17:00, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





20. 
On a tropical version of the Jacobian conjecture D. Yu. Grigor'ev July 7, 2021 17:00–17:45, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





21. 
Minimal degree and setwise stabilizers in profinite permutation groups L. Babai July 7, 2021 18:15–19:00, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom






July 8, 2021 (Thu) 

22. 
Large scale geometries of infinite strings B. Khoussainov July 8, 2021 11:30–12:15, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





23. 
Complexity of structures P. E. Alaev, V. L. Selivanov July 8, 2021 12:45–13:30, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





24. 
Determinicity properties, MozesGoodmanStrauss theorems and the construction of algebraic objects I. A. IvanovPogodaev July 8, 2021 13:30–14:15, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





25. 
Generalizing a question of Gromov J. F. Knight July 8, 2021 16:15–17:00, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





26. 
Logic and Mathematics. An interaction via Model Theory B. I. Zil'ber July 8, 2021 17:00–17:45, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom





