RUS
ENG
Full version
CONFERENCES
Two-Day Autumn School "Modern Trends in Mathematical Logic"
(
September 2–3, 2025
, Steklov Mathematical Institute, Moscow)
Organizers
Kuznetsov Stepan Lvovich
Speranski Stanislav Olegovich
Organisations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Steklov International Mathematical Center
Two-Day Autumn School "Modern Trends in Mathematical Logic", Moscow,
September 2–3, 2025
Конструктивность в логике и математике. Лекция 1
V. E. Plisko
September 2, 2025
10:00
Moscow, Steklov Mathematical Institute
Конструктивность в логике и математике. Лекция 2
V. E. Plisko
September 2, 2025
12:00
Moscow, Steklov Mathematical Institute
Синтаксическое исчисление Ламбека. Лекция 1
M. R. Pentus
September 2, 2025
15:00
Moscow, Steklov Mathematical Institute
Синтаксическое исчисление Ламбека. Лекция 2
M. R. Pentus
September 2, 2025
17:00
Moscow, Steklov Mathematical Institute
Стройные порядки и независимые комбинаторные утверждения. Лекция 1
L. D. Beklemishev
September 3, 2025
10:00
Moscow, Steklov Mathematical Institute
Стройные порядки и независимые комбинаторные утверждения. Лекция 2
L. D. Beklemishev
September 3, 2025
12:00
Moscow, Steklov Mathematical Institute
Уравнения в словах и группах. Лекция 1
I. G. Lysenok
September 3, 2025
15:00
Moscow, Steklov Mathematical Institute
Уравнения в словах и группах. Лекция 2
I. G. Lysenok
September 3, 2025
17:00
Moscow, Steklov Mathematical Institute
©
Steklov Math. Inst. of RAS
, 2025
Organisations
