Math-Net.Ru

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

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

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

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

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

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

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

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

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

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

• докладов:

В. Е. Назайкинский, О формуле Лефшеца на многообразиях с периодическими концами.
Научный семинар по дифференциальным и функционально-дифференциальным уравнениям, 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Н. Ю. Ероховец, Зацепления, отвечающие гамильтоновым подграфам в простых трёхмерных многогранниках.
Узлы и теория представлений,
г. Москва, Online: Meeting ID: 818 6674 5751 Passcode: 141592

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