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

• докладов конференции:
Международная конференция "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

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

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

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

27 августа 2026 г.
- K. A. Kovalyov, On nonstandard models of Büchi Arithmetic.

28 августа 2026 г.
- J. P. Aguilera, Constructible beta models.
- D. I. Saveliev, On isomorphic embeddings of partial orders in the Rudin–Keisler order: Old and new results.
- B. Khoussainov, Solving the Bergtra–Tucker problem: a c.e. algebra with no finitely presented expansion.
- A. A. Razborov, Graph density profiles and domination exponents.

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

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

V. S. Anashin, "True Randomness" Cannot Be Certified Since Its Very Existence Cannot Be Proven.
Семинар отдела математической физики МИАН,
г. Москва, МИАН, комн. 303 (ул. Губкина, 8)

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

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

M. A. Lyalinov, Functional equations and symmetry in the problem of wave scattering on a regular polygon with third‑kind boundary conditions.
Seminar on Analysis, Differential Equations and Mathematical Physics,
г. Ростов-на-Дону, online

#Семинары

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

А. В. Островский, Н.Н. Лузин, А‑множествa и ранняя дескриптивная теория множеств: новые материалы и интерпретации.
Семинар по истории математики,
г. Санкт-Петербург, онлайн

#СеминарыПОМИ #СеминарПоИсторииМатематики

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

Е. А. Зайцев, Взаимодействие механики и оптики в творчестве И. Ньютона.
Семинар по истории математики,
г. Санкт-Петербург, онлайн

#СеминарыПОМИ #СеминарПоИсторииМатематики

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

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

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

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

• докладов:

А. Г. Сергеев, BB-соответствие в теории топологических диэлектриков.
Научный семинар по дифференциальным и функционально-дифференциальным уравнениям, 1 сентября 2026 г.
#СеминарыРУДН

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

• занятий Базовой кафедры МФТИ-МИАН:

А. Е. Теретёнков, Лекция 1. Введение. Уровни описания открытых систем. Состояния и наблюдаемые в квантовой механике. Cтатистический постулат Борна — фон Неймана.
Открытые лекции по теме "Основы теории открытых квантовых систем", 1 сентября 2026 г.
#СеминарыМФТИ

• докладов конференции:
Молодeжный коллоквиум по математической логике и еe приложениям, 31 августа–4 сентября 2026 г.

31 августа 2026 г.
- А. А. Разборов, Элементы теории сложности доказательств. Лекция 1.
- А. А. Разборов, Элементы теории сложности доказательств. Лекция 2.

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

Сегодня, 4 сентября 2026 г., в 18:30 пройдет доклад:

С. А. Лурье, О теории упругости пространственно-временного континуума. Некоторые перспективы использования 4D-теории для моделирования связных термодинамических процессов.
Научный семинар "Актуальные проблемы геометрии и механики" имени проф. В. В. Трофимова,
г. Москва, Механико-математический факультет МГУ, ауд. 1311

#СеминарыМГУ

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

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

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

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

• докладов:

А. В. Михайлов, Интегрируемые системы над некоммутативными алгебрами.
Семинар отдела теоретической физики МИАН, 2 сентября 2026 г.
#СеминарыМИАН

V. S. Anashin, "True Randomness" Cannot Be Certified Since Its Very Existence Cannot Be Proven.
Семинар отдела математической физики МИАН, 3 сентября 2026 г.
#СеминарыМИАН

А. В. Островский, Н.Н. Лузин, А‑множествa и ранняя дескриптивная теория множеств: новые материалы и интерпретации.
Семинар по истории математики, 3 сентября 2026 г.
#СеминарыПОМИ #СеминарПоИсторииМатематики

Е. А. Зайцев, Взаимодействие механики и оптики в творчестве И. Ньютона.
Семинар по истории математики, 3 сентября 2026 г.
#СеминарыПОМИ #СеминарПоИсторииМатематики

• докладов конференции:
Молодeжный коллоквиум по математической логике и еe приложениям, 31 августа–4 сентября 2026 г.

31 августа 2026 г.
- А. А. Разборов, Элементы теории сложности доказательств. Лекция 3.
- Д. О. Фролов, Формальная модель пространства нейросетевых ранжирующих функций и теорема о существовании оптимальной архитектуры.
- И. Н. Шиманогов, Вычислимые изоморфизмы относительно регулярных булевых алгебр.

2 сентября 2026 г.
- М. Е. Вишникин, О редуцируемости регулярных языков ординальной длины.
- Ф. Н. Пахомов, К. А. Ковалёв, О стандартных системах моделей арифметики Бюхи.
- А. В. Ерёмин, Модальная логика $\omega$-итерированной непротиворечивости.
- Д. С. Трофимов, О дизъюнктных фрагментах полимодальных логик доказуемости.
- К. К. Пчелин, Решение проблемы Поста о tag-системах: доказательство роста для примера Куриленко.
- Т. Г. Пшеницын, О свойствах языков, задаваемых коммутативными грамматиками Ламбека.
- Ю. А. Бушакова, С. И. Башмаков, О свойствах многоагентной логики ступенчатого времени с доступом в прошлое $p\mathcal{LTK}.{sl}$.
- Н. В. Лукашов, Унификация и допустимые правила вывода для модальных логик $\mathrm{K} + \Box^n \bot$.

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

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

Е. О. Степанов, О тропической транспортной задаче.
Общегородской семинар по математической физике им. В. И. Смирнова,
г. Санкт-Петербург, ПОМИ, ауд. 311, онлайн-конференция zoom

#СеминарыПОМИ