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


"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
Steklov Mathematical Institute, Moscow

Seminar topics include classical and non-classical logics, group and semigroups, proof theory.

Seminars are held on Tuesdays, the meeting starts at 18.30. In the fall of 2021, all seminars will be broadcast on the Zoom platform. Some meetings will be held at the Steklov Mathematical Institute with broadcast in Zoom, this will be reported separately.

To receive a link for Zoom, please send an email to Alexey Talambutsa <altal@mi-ras.ru>

RSS: Forthcoming seminars

Seminar organizers
Beklemishev Lev Dmitrievich
Lysenok Igor Geront'evich
Semenov Aleksei Lvovich

Institutions
Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow


"Algorithmic problems in algebra and logic" (S.I.Adian seminar), Moscow

December 7, 2021 (Tue)
1. Systems of equations in groups
Albert Garreta-Fontelles
December 7, 2021 18:30, Moscow, Steklov Mathematical Institute

November 23, 2021 (Tue)
2. Complexity of the word problem in HNN-extensions
Markus Lohrey
November 23, 2021 18:30, Moscow, Steklov Mathematical Institute

November 16, 2021 (Tue)
3. Relative order and spectrum of subgroups
E. Ventura
November 16, 2021 18:30, Moscow, Steklov Mathematical Institute
  

November 9, 2021 (Tue)
4. Plain groups and rewriting systems.
M. Elder
November 9, 2021 18:30, Moscow, Steklov Mathematical Institute
  

October 26, 2021 (Tue)
5. The Dehn function and relative Dehn function of metabelian groups
W. Wang
October 26, 2021 18:30, Moscow, Steklov Mathematical Institute

April 27, 2021 (Tue)
6. Exponential equations in groups
O. V. Bogopolskii
April 27, 2021 18:30, Moscow, Steklov Mathematical Institute

April 6, 2021 (Tue)
7. Complexity of Linear Operators
A. S. Kulikov
April 6, 2021 18:30, Moscow, online in Zoom
  

March 30, 2021 (Tue)
8. Sublinear time algorithms and the average-case complexity of some algorithmic problems in (semi)group theory
V. É. Shpil'rain
March 30, 2021 18:30, Moscow, online in Zoom

December 1, 2020 (Tue)
9. Об алгоритмической неразрешимости проблемы вложимости многообразий
A. Ya. Kanel', A. A. Chilikov
December 1, 2020 18:30, Moscow, Steklov Mathematical Institute
  

November 24, 2020 (Tue)
10. The Post Correspondence Problem and Equalisers for Immersions of Free Groups
A. Logan
November 24, 2020 18:30, Moscow, online via Zoom
  

November 3, 2020 (Tue)
11. Commensurability of Baumslag-Solitar groups
A. O. Zakharov
November 3, 2020 18:30, Moscow, online via Zoom
  

October 27, 2020 (Tue)
12. SAT Solvers and Ordered Decision Strategies
A. A. Razborov
October 27, 2020 18:30, Moscow, online via Zoom

April 30, 2019 (Tue)
13. Некоторые алгоритмически неразрешимые проблемы, связанные с автоматными и самоподобными группами.
I. V. Mitrofanov
April 30, 2019 18:30, Moscow, Steklov Mathematical Institute

March 26, 2019 (Tue)
14. Прямоугольные диаграммы узлов и их монотонное упрощение
I. A. Dynnikov
March 26, 2019 18:30, Moscow, Steklov Mathematical Institute

March 19, 2019 (Tue)
15. Коммутаторная ширина группы Григорчука - II
I. G. Lysenok
March 19, 2019 18:30, Moscow, Steklov Mathematical Institute

March 12, 2019 (Tue)
16. Коммутаторная ширина группы Григорчука - I
I. G. Lysenok
March 12, 2019 18:30, Moscow, Steklov Mathematical Institute

February 26, 2019 (Tue)
17. О субквадратичных функциях сложности вывода для односторонних систем Туэ
A. L. Talambutsa
February 26, 2019 18:30, Moscow, Steklov Mathematical Institute

December 18, 2018 (Tue)
18. Об одном фазовом переходе в теории Рамсея
A. A. Razborov
December 18, 2018 18:30, Moscow, Steklov Mathematical Institute

December 11, 2018 (Tue)
19. Вербальная замкнутость
A. A. Klyachko
December 11, 2018 18:30, Moscow, Steklov Mathematical Institute

November 6, 2018 (Tue)
20. О спектрах консервативности арифметических теорий
L. D. Beklemishev
November 6, 2018 18:30, Moscow, Steklov Mathematical Institute

October 30, 2018 (Tue)
21. О показателях экспоненциального роста прямоугольных групп Кокстера
A. L. Talambutsa
October 30, 2018 18:30, Moscow, Steklov Mathematical Institute

October 23, 2018 (Tue)
22. Алгоритмическая разрешимость ориентируемых квадратичных уравнений в свободных метабелевых группах
I. G. Lysenok
October 23, 2018 18:30, Moscow, Steklov Mathematical Institute

October 16, 2018 (Tue)
23. О полноте модальных предикатных логик в семантике Крипке
V. B. Shehtman
October 16, 2018 18:30, Moscow, Steklov Mathematical Institute

April 24, 2018 (Tue)
24. О проблемах распознавания равенства и делимости слов в полугруппах с одним несократимым определяющим соотношением
S. I. Adian
April 24, 2018 18:30, Moscow, Steklov Mathematical Institute

April 10, 2018 (Tue)
25. О формулах, $n$-доказуемость которых выводима в арифметике Пеано
E. A. Kolmakov
April 10, 2018 18:30, Moscow, Steklov Mathematical Institute

March 20, 2018 (Tue)
26. О свойствах редукции и отделимости проективных классов в совершенных прообразах отрезка
D. I. Saveliev
March 20, 2018 18:30, Moscow, Steklov Mathematical Institute

March 6, 2018 (Tue)
27. Сложность вычисления некоторых функций коммуникационными протоколамис большим числом участников
V. V. Podolskii
March 6, 2018 18:30, Moscow, Steklov Mathematical Institute

February 27, 2018 (Tue)
28. Теоремы об ускорении доказательств в арифметике Пресбургера
F. N. Pakhomov
February 27, 2018 18:30, Moscow, Steklov Mathematical Institute

December 12, 2017 (Tue)
29. Логика Кузнецова-Муравицкого и семантика компьютерных языков
D. S. Shamkanov
December 12, 2017 18:30, Moscow, Steklov Mathematical Institute

November 21, 2017 (Tue)
30. О корнях многочленов в мин-плюс алгебре
V. V. Podolskii
November 21, 2017 18:30, Moscow, Steklov Mathematical Institute

November 14, 2017 (Tue)
31. Рекурсивно перечислимые теории, не имеющие алгоритмически разрешимой аксиоматизации
S. L. Kuznetsov
November 14, 2017 18:30, Moscow, Steklov Mathematical Institute

October 24, 2017 (Tue)
32. Об универсальной модели Крипке для позитивной логики доказуемости с операторами, выражающими консервативность
L. D. Beklemishev
October 24, 2017 18:30, Moscow, Steklov Mathematical Institute

October 10, 2017 (Tue)
33. Секвенциальное исчисление с бесконечными выводами для логики Гжегорчика
Yu. V. Savateev, D. S. Shamkanov
October 10, 2017 18:30, Moscow, Steklov Mathematical Institute

October 3, 2017 (Tue)
34. Об интерпретациях арифметики Пресбургера в самой себе
A. Zapryagaev, F. N. Pakhomov
October 3, 2017 18:30, Moscow, Steklov Mathematical Institute

May 16, 2017 (Tue)
35. Исчисления Ламбека с обогащением сигнатуры операцией итерации
S. L. Kuznetsov
May 16, 2017 18:30, Moscow, Steklov Mathematical Institute

April 25, 2017 (Tue)
36. О количестве слов данной длины, не содержащих $\alpha$-степеней - II
A. L. Talambutsa
April 25, 2017 18:30, Moscow, Steklov Mathematical Institute

April 18, 2017 (Tue)
37. О количестве слов данной длины, не содержащих $\alpha$-степеней - I
A. L. Talambutsa
April 18, 2017 18:30, Moscow, Steklov Mathematical Institute

March 14, 2017 (Tue)
38. Об исчислении секвенций для модальной логики Гжегорчика с нефундированными выводами
D. S. Shamkanov
March 14, 2017 18:30, Moscow, Steklov Mathematical Institute

March 7, 2017 (Tue)
39. On the embedding preordering of universal algebras
D. I. Saveliev
March 7, 2017 18:30, Moscow, Steklov Mathematical Institute

February 28, 2017 (Tue)
40. О неразрешимых элементарных теориях полугрупп со свободным одноместным предикатом
F. N. Pakhomov
February 28, 2017 18:30, Moscow, Steklov Mathematical Institute

December 13, 2016 (Tue)
41. О невозможности одновременной оптимизации различных мер сложности пропозициональных доказательств
A. A. Razborov
December 13, 2016 18:30, Moscow, Steklov Mathematical Institute

December 6, 2016 (Tue)
42. О числе наборов элементов группы, обладающих данным свойством
A. A. Klyachko
December 6, 2016 18:30, Moscow, Steklov Mathematical Institute

November 22, 2016 (Tue)
43. О сильной полноте логики доказуемости Гёделя-Лёба относительно топологической семантики
D. S. Shamkanov
November 22, 2016 18:30, Moscow, Steklov Mathematical Institute

November 15, 2016 (Tue)
44. Новое доказательство теоремы Соловея об арифметической полноте логики GL
F. N. Pakhomov
November 15, 2016 18:30, Moscow, Steklov Mathematical Institute

November 8, 2016 (Tue)
45. Семантика квазидоказуемости для полных по Крипке расширений логики GL
F. N. Pakhomov
November 8, 2016 18:30, Moscow, Steklov Mathematical Institute

November 1, 2016 (Tue)
46. О позитивной логике доказуемости с операторами, выражающими консервативность
L. D. Beklemishev
November 1, 2016 18:30, Moscow, Steklov Mathematical Institute

October 18, 2016 (Tue)
47. Критерий обхода графа Кэли конечно-порождённой группы системой взаимодействующих конечных автоматов
A. Ya. Kanel-Belov
October 18, 2016 18:30, Moscow, Steklov Mathematical Institute

October 4, 2016 (Tue)
48. Построение конечно-определённой полугруппы с дробным порядком полиномиального роста
I. A. Ivanov-Pogodaev
October 4, 2016 18:30, Moscow, Steklov Mathematical Institute

April 19, 2016 (Tue)
49. Системы ординальных обозначений в иерархии Кукаля
F. N. Pakhomov
April 19, 2016 18:30, Moscow, Steklov Mathematical Institute

April 5, 2016 (Tue)
50. Невозможность замены правила сокращения конечным числом определяющих соотношений при задании полугруппы
S. L. Kuznetsov
April 5, 2016 18:30, Moscow, Steklov Mathematical Institute

March 29, 2016 (Tue)
51. Формальная арифметика на базе логики без правила сокращения
D. S. Shamkanov
March 29, 2016 18:30, Moscow, Steklov Mathematical Institute

March 22, 2016 (Tue)
52. Теорема С.И. Адяна о вложении полугрупп в группы с теми же определяющими соотношениями - III
A. L. Talambutsa
March 22, 2016 18:30, Moscow, Steklov Mathematical Institute

March 15, 2016 (Tue)
53. Теорема С.И. Адяна о вложении полугрупп в группы с теми же определяющими соотношениями - II
A. L. Talambutsa
March 15, 2016 18:30, Moscow, Steklov Mathematical Institute

March 1, 2016 (Tue)
54. Теорема С.И. Адяна о вложении полугрупп в группы с теми же определяющими соотношениями - I
A. L. Talambutsa
March 1, 2016 18:30, Moscow, Steklov Mathematical Institute

December 8, 2015 (Tue)
55. Лексикографические произведения и суммы модальных логик
I. B. Shapirovsky
December 8, 2015 18:30, Moscow, Steklov Mathematical Institute

December 1, 2015 (Tue)
56. Оценки длин преобразований запросов к снабженным логической теорией базам данных
V. V. Podolskii
December 1, 2015 18:30, Moscow, Steklov Mathematical Institute

November 10, 2015 (Tue)
57. О минимальных леводистрибутивных группоидах
D. I. Saveliev
November 10, 2015 18:30, Moscow, Steklov Mathematical Institute

November 3, 2015 (Tue)
58. Квадраты Сегерберга модальных логик и реляционные алгебры
V. B. Shehtman
November 3, 2015 18:30, Moscow, Steklov Mathematical Institute

October 27, 2015 (Tue)
59. О некоторых нестандартных предикатах доказуемости для формальной арифметики Пеано
F. N. Pakhomov
October 27, 2015 18:30, Moscow, Steklov Mathematical Institute

October 20, 2015 (Tue)
60. О двух модальных расширениях исчисления Ламбека
S. L. Kuznetsov
October 20, 2015 18:30, Moscow, Steklov Mathematical Institute

October 13, 2015 (Tue)
61. О показателях экспоненциального роста HNN-расширений абелевых групп
A. L. Talambutsa
October 13, 2015 18:30, Moscow, Steklov Mathematical Institute

October 6, 2015 (Tue)
62. Алгоритмическая статистика
N. K. Vereshchagin
October 6, 2015 18:30, Moscow, Steklov Mathematical Institute

May 19, 2015 (Tue)
63. О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко; продолжение)
L. D. Beklemishev
May 19, 2015 18:30, Moscow, Steklov Mathematical Institute

May 12, 2015 (Tue)
64. О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко)
L. D. Beklemishev
May 12, 2015 18:30, Moscow, Steklov Mathematical Institute

April 28, 2015 (Tue)
65. Преобразование контекстно-свободных грамматик в грамматики Ламбека, сохраняющее семантические значения слов
S. L. Kuznetsov
April 28, 2015 18:30, Moscow, Steklov Mathematical Institute

April 14, 2015 (Tue)
66. О существовании бесконечных конечно определённых ниль-полугрупп (По совместной работе с И.А. Ивановым-Погодаевым)
A. Ya. Kanel-Belov
April 14, 2015 18:30, Moscow, Steklov Mathematical Institute

April 7, 2015 (Tue)
67. Эффективный алгоритм для решения проблемы распознавания равенства в пространстве классов квазиморфизмов свободной группы
A. L. Talambutsa
April 7, 2015 18:30, Moscow, Steklov Mathematical Institute

March 24, 2015 (Tue)
68. Modal Logics Enriched with Transitive Closure Modality
E. E. Zolin
March 24, 2015 18:30, Moscow, Steklov Mathematical Institute

March 3, 2015 (Tue)
69. Decidability of the elementary theory of the free GLP-algebra generated by constants
F. N. Pakhomov
March 3, 2015 18:30, Moscow, Steklov Mathematical Institute

February 24, 2015 (Tue)
70. On the decidability of elementary theories of some ordinal notation systems based on the logic GLP
F. N. Pakhomov
February 24, 2015 18:30, Moscow, Steklov Mathematical Institute

December 2, 2014 (Tue)
71. О выразимых в логике первого порядка свойствах случайных графов
M. E. Zhukovskii
December 2, 2014 18:30, Moscow, Steklov Mathematical Institute

November 25, 2014 (Tue)
72. On the proof theory of modal logic extended with the least fixed-point operator (Part 2)
D. S. Shamkanov
November 25, 2014 18:30, Moscow, Steklov Mathematical Institute

November 18, 2014 (Tue)
73. On the proof theory of modal logic extended with the least fixed-point operator
D. S. Shamkanov
November 18, 2014 18:30, Moscow, Steklov Mathematical Institute

November 11, 2014 (Tue)
74. On the analog of Hilbert's Nullstellensatz for polynomials in algebraic system $(\mathbb{R}, \min, +)$
V. V. Podolskii
November 11, 2014 18:30, Moscow, Steklov Mathematical Institute

October 14, 2014 (Tue)
75. On a sufficient condition for the finite approximability of modal logics
I. B. Shapirovskii
October 14, 2014 18:30, Moscow, Steklov Mathematical Institute

April 29, 2014 (Tue)
76. About the relation between Church Thesis and Uniformity Principle in Intuitionistic Set Theory
V. Kh. Khakhanyan
April 29, 2014 18:30, Moscow, Steklov Mathematical Institute

April 22, 2014 (Tue)
77. Full description of the relations between Brooks quasimorphisms in free groups
A. L. Talambutsa
April 22, 2014 18:30, Moscow, Steklov Mathematical Institute

March 25, 2014 (Tue)
78. Conjoinability relation in discontinuous Lambek calculus
A. A. Sorokin
March 25, 2014 18:30, Moscow, Steklov Mathematical Institute

March 18, 2014 (Tue)
79. The Longest Common Subword Problem
T. A. Starikovskaya
March 18, 2014 18:30, Moscow, Steklov Mathematical Institute

March 11, 2014 (Tue)
80. Layerwise computable mappings and Lovasz local lemma
A. Kh. Shen'
March 11, 2014 18:30, Moscow, Steklov Mathematical Institute

March 4, 2014 (Tue)
81. A joint logic of problems and propositions
S. A. Melikhov
March 4, 2014 18:30, Moscow, Steklov Mathematical Institute

February 25, 2014 (Tue)
82. A joint logic of problems and propositions
S. A. Melikhov
February 25, 2014 18:30, Moscow, Steklov Mathematical Institute

December 10, 2013 (Tue)
83. О позитивных логиках доказуемости
L. D. Beklemishev
December 10, 2013 18:30, Moscow, Steklov Mathematical Institute

November 19, 2013 (Tue)
84. On the rank of the intersection of free subgroups in fundamental groups of graphs of groups
A. O. Zakharov
November 19, 2013 18:30, Moscow, Steklov Mathematical Institute

November 12, 2013 (Tue)
85. О хопфовости $n$-периодических произведений групп
S. I. Adian, Varuzhan Atabekyan
November 12, 2013 18:30, Moscow, Steklov Mathematical Institute

November 5, 2013 (Tue)
86. On the rank of the intersection of free subgroups in amalgamated free products of groups
A. O. Zakharov
November 5, 2013 18:30, Moscow, Steklov Mathematical Institute

October 29, 2013 (Tue)
87. Об одной модификации понятия реализуемости Майхилла для интуиционистской теории множеств
Smelyanskiy D.M.
October 29, 2013 18:30, Moscow, Steklov Mathematical Institute

October 22, 2013 (Tue)
88. On ultrafilter extensions of linearly ordered sets
D. I. Saveliev
October 22, 2013 18:30, Moscow, Steklov Mathematical Institute

October 15, 2013 (Tue)
89. $\mathit{NP}$-completeness of a class of quadratic equations in free metabelian groups
I. G. Lysenok
October 15, 2013 18:30, Moscow, Steklov Mathematical Institute

October 8, 2013 (Tue)
90. Conjunctive grammars and the Lambek calculus enriched with the intersection connective
S. Kuznetsov
October 8, 2013 18:30, Moscow, Steklov Mathematical Institute

May 7, 2013 (Tue)
91. On infinite periodic groups (new lower bound on the period)
S. I. Adian
May 7, 2013 18:30, Moscow, Steklov Mathematical Institute

April 23, 2013 (Tue)
92. Burnside problem on periodic groups (a simplified proof)
S. I. Adian
April 23, 2013 18:30, Moscow, Steklov Mathematical Institute

April 16, 2013 (Tue)
93. On the length of conjunctive query rewritings for OWL 2 QL theories
S. P. Kikot'
April 16, 2013 18:30, Moscow, Steklov Mathematical Institute

April 9, 2013 (Tue)
94. On the computational complexity of the closed fragment of the provability logic GLP
F. N. Pakhomov
April 9, 2013 18:30, Moscow, Steklov Mathematical Institute

April 2, 2013 (Tue)
95. On the minimal exponential growth rates in free products of groups
A. L. Talambutsa
April 2, 2013 18:30, Moscow, Steklov Mathematical Institute

March 26, 2013 (Tue)
96. On the analog of Hilbert's Nullstellensatz theorem in the algebraic system $(\mathbb{R}, \min, +)$
V. V. Podolskii
March 26, 2013 18:30, Moscow, Steklov Mathematical Institute

March 19, 2013 (Tue)
97. On an arithmetically complete calculus for uniform reflection schemata
L. D. Beklemishev
March 19, 2013 18:30, Moscow, Steklov Mathematical Institute

March 12, 2013 (Tue)
98. Modal logics of relations induced by Hamming distance
I. B. Shapirovskii
March 12, 2013 18:30, Moscow, Steklov Mathematical Institute

March 5, 2013 (Tue)
99. Computing the Lempel - Ziv Factorization of a Word under the RAM Model
T. A. Starikovskaya
March 5, 2013 18:30, Moscow, Steklov Mathematical Institute

December 18, 2012 (Tue)
100. The length of the join type in the Lambek calculus
A. A. Sorokin
December 18, 2012 18:30, Moscow, Steklov Mathematical Institute

December 11, 2012 (Tue)
101. On approximation of Boolean functions by small degree real polynomials
A. A. Razborov
December 11, 2012 18:30, Moscow, Steklov Mathematical Institute

December 4, 2012 (Tue)
102. On the representation of Boolean functions by sign functions of integer polynomials
V. V. Podolskii
December 4, 2012 18:30, Moscow, Steklov Mathematical Institute

November 27, 2012 (Tue)
103. Free monoid powerset models for two extensions of Lambek calculus
S. Kuznetsov
November 27, 2012 18:30, Moscow, Steklov Mathematical Institute

November 20, 2012 (Tue)
104. A sequent сalculus for Japaridze's polymodal provability logic
D. S. Shamkanov
November 20, 2012 18:30, Moscow, Steklov Mathematical Institute

November 13, 2012 (Tue)
105. A sequent сalculus for Gödel-Löb logic
D. S. Shamkanov
November 13, 2012 18:30, Moscow, Steklov Mathematical Institute

October 30, 2012 (Tue)
106. On elementary theories of free groups
A. G. Myasnikov
October 30, 2012 18:30, Moscow, Steklov Mathematical Institute
107. On extensions of centralizers of elements in nilpotent groups
V. N. Remeslennikov
October 30, 2012 18:30, Moscow, Steklov Mathematical Institute

October 23, 2012 (Tue)
108. On the decidability of elementary theories of provability algebras and their fragments
F. N. Pakhomov
October 23, 2012 18:30, Moscow, Steklov Mathematical Institute

October 16, 2012 (Tue)
109. Counterexamples to Borsuk's problem on spheres of small radii
A. B. Kupavskii
October 16, 2012 18:30, Moscow, Steklov Mathematical Institute

October 9, 2012 (Tue)
110. One-rule term rewriting system with undecidable termination problem
D. S. Shamkanov
October 9, 2012 18:30, Moscow, Steklov Mathematical Institute

May 15, 2012 (Tue)
111. On equations in $(\mathbb{Z}, \min, +)$ algebraic system
V. V. Podolskii
May 15, 2012 18:30, Moscow, Steklov Mathematical Institute

April 24, 2012 (Tue)
112. First-order formulae equivalent to modal formulae translations
I. I. Osipov
April 24, 2012 18:30, Moscow, Steklov Mathematical Institute

April 10, 2012 (Tue)
113. Some interval modal logics
A. S. Chizhov
April 10, 2012 18:30, Moscow, Steklov Mathematical Institute

April 3, 2012 (Tue)
114. Elimination of Church's thesis from the proofs of negative formulae in intuitionistic set theory
A. G. Vladimirov
April 3, 2012 18:30, Moscow, Steklov Mathematical Institute

March 27, 2012 (Tue)
115. Modal definability of first-order formulas and its application to knowledge bases
E. E. Zolin
March 27, 2012 18:30, Moscow, Steklov Mathematical Institute

March 20, 2012 (Tue)
116. On a class of decidable monadic theories of graphs
F. N. Pakhomov
March 20, 2012 18:30, Moscow, Steklov Mathematical Institute

March 13, 2012 (Tue)
117. On propositional logics representing the notion of provability in arithmetic
E. V. Dashkov
March 13, 2012 18:30, Moscow, Steklov Mathematical Institute

March 6, 2012 (Tue)
118. On Zariski topologies on rings and more general algebras
D. I. Saveliev
March 6, 2012 18:30, Moscow, Steklov Mathematical Institute
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2022