Добавлены видеозаписи:

• докладов конференции:
Международная конференция "Novikov-125", посвящeнная 125-летию со дня рождения П.С. Новикова, 24–28 августа 2026 г.

24 августа 2026 г.
- Opening words.

#Конференции #Novikov125

Сегодня, 25 августа 2026 г., пройдут доклады конференции:

Школа-конференция "Неголономные дни в Переславле".
24–28 августа 2026 г.,
г. Переславль-Залесский, Институт программных систем имени А. К. Айламазяна РАН

#Конференции

Сегодня, 25 августа 2026 г., пройдут доклады конференции:

Международная конференция "Novikov-125", посвящeнная 125-летию со дня рождения П.С. Новикова.
24–28 августа 2026 г.,
г. Москва, МИАН, ул. Губкина, д. 8

#Конференции #Novikov125

Добавлены видеозаписи:

• докладов конференции:
Международная конференция "Novikov-125", посвящeнная 125-летию со дня рождения П.С. Новикова, 24–28 августа 2026 г.

24 августа 2026 г.
- I. G. Lysenok, Novikov–Boone theorem and Novikov–Adian theorem: Consequences.
- V. L. Selivanov, Invariant descriptive set theory and hierarchies of sentences.
- M. V. Schwidefsky, Approximation spaces.
- A. L. Semenov, New definability lattices.
- V. B. Shehtman, Quantifiers and modalities.
- S. P. Odintsov, On differencies between the explosive and paraconsistent versions of Nelson's logic.
- L. V. Dvorkin, Monotonicity vs positivity in modal logics.
- A. G. Miasnikov, Non-standard groups and rings.

#Конференции #Novikov125

Сегодня, 26 августа 2026 г., пройдут доклады конференции:

Школа-конференция "Неголономные дни в Переславле".
24–28 августа 2026 г.,
г. Переславль-Залесский, Институт программных систем имени А. К. Айламазяна РАН

#Конференции

Сегодня, 26 августа 2026 г., пройдут доклады конференции:

Международная конференция "Novikov-125", посвящeнная 125-летию со дня рождения П.С. Новикова.
24–28 августа 2026 г.,
г. Москва, МИАН, ул. Губкина, д. 8

#Конференции #Novikov125

Сегодня, 27 августа 2026 г., пройдут доклады конференции:

Школа-конференция "Неголономные дни в Переславле".
24–28 августа 2026 г.,
г. Переславль-Залесский, Институт программных систем имени А. К. Айламазяна РАН

#Конференции

Сегодня, 27 августа 2026 г., пройдут доклады конференции:

Международная конференция "Novikov-125", посвящeнная 125-летию со дня рождения П.С. Новикова.
24–28 августа 2026 г.,
г. Москва, МИАН, ул. Губкина, д. 8

#Конференции #Novikov125

Добавлены видеозаписи:

• докладов конференции:
Международная конференция "Novikov-125", посвящeнная 125-летию со дня рождения П.С. Новикова, 24–28 августа 2026 г.

25 августа 2026 г.
- A. S. Morozov, Generalized computable structures over the real numbers.

#Конференции #Novikov125

Сегодня, 28 августа 2026 г., пройдут доклады конференции:

Школа-конференция "Неголономные дни в Переславле".
24–28 августа 2026 г.,
г. Переславль-Залесский, Институт программных систем имени А. К. Айламазяна РАН

#Конференции

Сегодня, 28 августа 2026 г., пройдут доклады конференции:

Международная конференция "Novikov-125", посвящeнная 125-летию со дня рождения П.С. Новикова.
24–28 августа 2026 г.,
г. Москва, МИАН, ул. Губкина, д. 8

#Конференции #Novikov125

Добавлены видеозаписи:

• докладов конференции:
Международная конференция "Novikov-125", посвящeнная 125-летию со дня рождения П.С. Новикова, 24–28 августа 2026 г.

24 августа 2026 г.
- V. V. Rybakov, Admissible inference rules, projective formulas unification in multi-agent modal logics.

25 августа 2026 г.
- M. Baaz, The power of quantifier shifts.
- Yanjing Wang, Problem semantics for intuitionistic logic.
- N. K. Vereshchagin, Goodman–Strauss theorem revisited.
- B. F. Bauwens, Solomonoff induction of selected bits and online classification.

#Конференции #Novikov125

Сегодня, 31 августа 2026 г., пройдут доклады конференции:

Молодeжный коллоквиум по математической логике и еe приложениям.
31 августа–4 сентября 2026 г.,
г. Москва, МИАН, ул. Губкина, д. 8, ауд. 104

#Конференции

Добавлены видеозаписи:

• докладов:

В. Е. Назайкинский, О формуле Лефшеца на многообразиях с периодическими концами.
Научный семинар по дифференциальным и функционально-дифференциальным уравнениям, 2 июня 2026 г.
#СеминарыРУДН

А. К. Матвеева, О разрушении решения задачи Коши для одного (N + 1)–мерного уравнения составного типа с градиентной нелинейностью.
Научный семинар по дифференциальным и функционально-дифференциальным уравнениям, 9 июня 2026 г.
#СеминарыРУДН

• докладов конференции:
Международная конференция "Novikov-125", посвящeнная 125-летию со дня рождения П.С. Новикова, 24–28 августа 2026 г.

25 августа 2026 г.
- A. A. Gaifullin, Finite generation and algebraicity of homology of Torelli groups.
- N. S. Romanovskii, Model theory of divisible rigid groups.
- V. S. Atabekyan, Probabilistic identities in groups and fixed points of automorphisms of periodic groups.
- I. A. Dynnikov, On the relation between the Andrews–Curtis and Zeeman collapsibility conjectures.
- F. N. Pakhomov, Lévy–Montague reflection is $\Pi^1_1$-conservative over $\mathsf{WKL}_0$.
- Harvey Friedman, Invariant Maximality.

26 августа 2026 г.
- I. Sh. Kalimullin, Almost computable structures and their punctual degree spectra.
- M. Rybakov, Logics for describing computation: syntax, semantics, and computational complexity of the decision problem.
- A. S. Skripchenko, Benjamini–Schramm limits of the Rauzy graphs.
- S. O. Speranski, On the closure ordinals of first-order logics of probability with distribution on possible worlds.

27 августа 2026 г.
- A. Weiermann, Some (averaged) zero one laws for segments of proof-theoretic ordinals.
- S. L. Kuznetsov, Complexity tools for linear and substructural logics.
- T. G. Pshenitsyn, Linear logic with approximations of fixed-point operators.
- D. O. Sokolov, Friedman-Pippenger technique for resolution proof system.

28 августа 2026 г.
- P. E. Alaev, Effective presentations of structures.
- Mojtaba Mojtahedi, Intuitionistic provability logic.
- S. M. Dudakov, On subset algebras and subalgebra lattices.

#Конференции #Novikov125

Сегодня, 1 сентября 2026 г., в 12:00 пройдет доклад:

А. Г. Сергеев, BB-соответствие в теории топологических диэлектриков.
Научный семинар по дифференциальным и функционально-дифференциальным уравнениям,
г. Москва, ул. Орджоникидзе, 3, ауд. 458

#СеминарыРУДН

Сегодня, 1 сентября 2026 г., в 16:15 пройдет доклад:

Е. О. Степанов, Вложение метрических пространств в псевдоевклидовы пространства.
Семинар Добрушинской лаборатории Высшей школы современной математики МФТИ,
МФТИ, адм. корпус ауд. 322, Первомайская ул., 7, Долгопрудный

#СеминарыМФТИ #СеминарДобрушинскойЛаборатории

Сегодня, 1 сентября 2026 г., пройдут доклады конференции:

Молодeжный коллоквиум по математической логике и еe приложениям.
31 августа–4 сентября 2026 г.,
г. Москва, МИАН, ул. Губкина, д. 8, ауд. 104

#Конференции

Добавлены видеозаписи:

• докладов:

А. И. Буфетов, Детерминантные точечные процессы. Лекция 1.
Летняя школа «Математические основы искусственного интеллекта». Южный федеральный университет. Ростов-на-Дону, 26 августа 2026 г.
#Семинары

А. И. Буфетов, Детерминантные точечные процессы. Лекция 2.
Летняя школа «Математические основы искусственного интеллекта». Южный федеральный университет. Ростов-на-Дону, 26 августа 2026 г.
#Семинары

А. И. Буфетов, Диоген Лаэрций о Зеноне Китийском и логике стоиков.
Южный федеральный университет. Ростов-на-Дону, 26 августа 2026 г.
#Семинары

• докладов конференции:
Международная конференция "Novikov-125", посвящeнная 125-летию со дня рождения П.С. Новикова, 24–28 августа 2026 г.

25 августа 2026 г.
- A. L. Talambutsa, On the word problem for just infinite groups.

26 августа 2026 г.
- J. A. Makowsky, Are there finitely presentable infinite groups with finitely many conjugacy classes and why are they interesting?
- T. Smirnova-Nagnibeda, On generalized word problem in groups of automorphisms of trees.
- V. G. Kanovei, P.S. Novikov's research on descriptive set theory.
- R. Schindler, Forcing axioms and Hilbert's first problem.
- M. Džamonja, MSO logic of the real order with the set quantifiers ranging over the Borel sets.
- Memorial session.

27 августа 2026 г.
- L. D. Beklemishev, P.S. Novikov’s work in proof theory: The method of `regular formulas’.
- Abhishek De, Fair allocation of countably many indivisible goods.
- M. V. Volkov, Combinatorial skeletons and equational logic of cobordism category.
- S. V. Gusev, Almost Cross varieties of aperiodic monoids.

#Конференции #Novikov125

Сегодня, 2 сентября 2026 г., в 13:00 пройдет доклад:

Paddeu Nicola, Geodesics for Sub‑Finsler Structures over Principal Bundles.
Семинар «Оптимальное управление и динамические системы»,
г. Москва, МИАН, комн. 110 (ул. Губкина, 8)

#СеминарыМИАН

Сегодня, 2 сентября 2026 г., в 14:00 пройдет доклад:

А. В. Михайлов, Интегрируемые системы над некоммутативными алгебрами.
Семинар отдела теоретической физики МИАН,
г. Москва, МИАН, комн. 313 (ул. Губкина, 8)

#СеминарыМИАН

Сегодня, 2 сентября 2026 г., пройдут доклады конференции:

Молодeжный коллоквиум по математической логике и еe приложениям.
31 августа–4 сентября 2026 г.,
г. Москва, МИАН, ул. Губкина, д. 8, ауд. 104

#Конференции