Сегодня, 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

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

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

Т. Г. Пшеницын, Аспекты сложности линейной логики и ее инфинитарных расширений.
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar",
г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн

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

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

I. M. Nikonov, Multicrossing homology and secant classes.
Узлы и теория представлений,
г. Москва, Online: Meeting ID: 818 6674 5751 Passcode: 141592

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

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

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

1 сентября 2026 г.
- А. Л. Таламбуца, Алгоритмические проблемы для матричных полугрупп. Лекция 1.
- А. Л. Таламбуца, Алгоритмические проблемы для матричных полугрупп. Лекция 2.
- Ю. Д. Теляковская, Влияние операции пересечения на звёздную высоту регулярных языков.
- А. Р. Углев, О специальных базисах тождеств некоторых решёток.

3 сентября 2026 г.
- И. Ш. Калимуллин, Теорема рекурсии и критерии полноты. Лекция 1.
- И. Ш. Калимуллин, Теорема рекурсии и критерии полноты. Лекция 2.
- И. Ш. Калимуллин, Теорема рекурсии и критерии полноты. Лекция 3.
- Р. Р. Багавиев, Критерии полноты в терминах креативности.
- В. Е. Карпов, С. О. Сперанский, О $\Sigma_2$-теории натуральных чисел со стандартным порядком и свободной эквивалентностью.

4 сентября 2026 г.
- В. Б. Шехтман, Семантики модальных предикатных логик. Лекция 1.
- В. Б. Шехтман, Семантики модальных предикатных логик. Лекция 2.
- В. Б. Шехтман, Семантики модальных предикатных логик. Лекция 3.
- Л. В. Дворкин, О бисимуляционных произведениях и интерполяционном свойстве Линдона в монотонных модальных логиках.
- А. А. Оноприенко, О классе функций конечнозначной логики Даммета со всеми константами.

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

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

Бааж Обаида, Устойчивое решение смешанной задачи для уравнения Пуассона с неоднородными граничными условиями первого рода в приложении к обратной задаче термографии.
Научный семинар по дифференциальным и функционально-дифференциальным уравнениям,
г. Москва, ул. Орджоникидзе, 3, ауд. 458

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