Conferences
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  


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 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

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. 075-15-2019-1614).

E-mail:
Website: http://www.mi-ras.ru/~adian90

Р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. Smirnova-Nagnibeda
July 6, 2021 11:30–12:15, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom
  
11. Bounded generation for linear and Kac-Moody 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 high-rank 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, Mozes-Goodman-Strauss theorems and the construction of algebraic objects
I. A. Ivanov-Pogodaev
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
  
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021