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

• докладов:

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