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

Two-Day Autumn School "Modern Trends in Mathematical Logic"
(September 2–3, 2025, Steklov Mathematical Institute, Moscow)

Organizers
Kuznetsov Stepan Lvovich
Speranski Stanislav Olegovich

Financial support
The conference is supported by the Ministry of Science and Higher Education of the Russian Federation (the grant to the Steklov International Mathematical Center, agreement no. 075-15-2025-303).


Institutions
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

September 2, 2025 (Tue)
1. Конструктивность в логике и математике. Лекция 1
V. E. Plisko
September 2, 2025 10:00–11:15, Moscow, Steklov Mathematical Institute
  
2. Конструктивность в логике и математике. Лекция 2
V. E. Plisko
September 2, 2025 12:00–13:15, Moscow, Steklov Mathematical Institute
  
3. Синтаксическое исчисление Ламбека. Лекция 1
M. R. Pentus
September 2, 2025 15:00–16:15, Moscow, Steklov Mathematical Institute
  
4. Синтаксическое исчисление Ламбека. Лекция 2
M. R. Pentus
September 2, 2025 17:00–18:15, Moscow, Steklov Mathematical Institute
  

September 3, 2025 (Wed)
5. Стройные порядки и независимые комбинаторные утверждения. Лекция 1
L. D. Beklemishev
September 3, 2025 10:00–11:15, Moscow, Steklov Mathematical Institute
  
6. Стройные порядки и независимые комбинаторные утверждения. Лекция 2
L. D. Beklemishev
September 3, 2025 12:00–13:15, Moscow, Steklov Mathematical Institute
  
7. Уравнения в словах и группах. Лекция 1
I. G. Lysenok
September 3, 2025 15:00–16:15, Moscow, Steklov Mathematical Institute
  
8. Уравнения в словах и группах. Лекция 2
I. G. Lysenok
September 3, 2025 17:00–18:15, Moscow, Steklov Mathematical Institute
  
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025