Заседания семинаров
В. Г. Пузаренко
О свойствах некоторых допустимых множеств.
Аннотация
Для наследственно конечных надстроек, упомянутых в докладе автора на Мальцевских чтениях, описывается наличие/отсутствие свойств таких, как униформизация, редукция, наличие универсальной функции, отделимость и продолжимость.А. А. Симонов
Построение квандлов над почти-кольцами и расширение почти-колец.
А. М. Петренко
Реферат статьи: Maximilian P. L. Haslbeck, Tobias Nipkow "Hoare Logics for Time Bounds" (часть 4).
Zoom
Кабанихин Сергей Игоревич (ИМ СО РАН)
Исследование данных Коши в задачах продолжения решения с части границы.
Аннотация
Проведен анализ некорректности задачи Коши с данными на части границы для уравнений в частных производных. Рассмотрены варианты границ области (времени-подобные, характеристические, пространственно-подобные), при которых данные Коши на части границы взаимосвязаны. Получены условия, нарушение которых приводит к неустойчивости задачи продолжения.Ссылки для подключения в аннотациях
1. She Yang, Peking University, Beijing
On the dynamical Mordell-Lang conjecture.
Аннотация
The talk will be streamed through "Tencent": https://meeting.tencent.com/dm/5xdJ4wc8cEUA
Number of the meeting: 908-331-123
The dynamical Mordell-Lang conjecture (DML) is one of the core problems in the field of arithmetic dynamics. It is the dynamical analogue of the Mordell-Lang conjecture (proved by Faltings-Vojta-McQuillan) in arithmetic geometry. The DML conjecture was formulated over a field of characteristic 0, but it is also natural to consider the same problem over fields of positive characteristic. In this talk, we will introduce some recent progress on the DML conjecture, with emphasis on the positive characteristic case.
2. Nikita Virin, Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
An introduction to del Pezzo surfaces.
Аннотация
The talk will be streamed through "Kontur Talk": https://mian.ktalk.ru/kl37k35btugi?pinCode=3446
Del Pezzo surfaces form a class of varieties of great importance and interest in algebraic geometry. In this talk, we will discuss the basics on del Pezzo surfaces, including their classical and modern definitions. We will also discuss blow-up models of del Pezzo surfaces.
С. Ю. Новак
Пуассоновская аппроксимация со сдвигом.
Аннотация
В докладе будет рассмотрен метод Стейна для пуассоновской аппроксимации со сдвигом.Андрей Александрович Афанасьев (д.ф.-м.н., член-корреспондент РАН)
Многофазная фильтрация при размещении углекислого газа в водонасыщенных и нефтяных пластах.
Аннотация
Климатические изменения на Земле связывают с антропогенными выбросами парниковых газов в атмосферу. Активная борьба с глобальным потеплением, в том числе введение налогов и квот на эмиссию углекислого газа, трансграничное углеродное регулирование и стремление к созданию углеродно-нейтральной экономики, требует трансформации традиционных энергосистем, в основе которых лежит использование ископаемого топлива. Обеспечение нулевого баланса выбросов углекислого газа – CO2 – требует создания перспективных решений в области декарбонизации топливно-энергетического комплекса. Одним из таких решений является размещение CO2 в водонасыщенных и нефтяных пластах, которое предполагает закачку газа через скважины. Размещение CO2 сопровождается многофазными фильтрационными течениями газа и жидкостей, насыщающих пласты.
В лекции будет дан обзор исследований многофазных течений, связанных с закачкой парниковых газов (CO2) в проницаемые пласты, проводимых в лаборатории Общей гидромеханики НИИ механики МГУ.
Шилов Н. В. (Лицей 22 «Надежда Сибири»)
Как доказывать рекурсивные программы.
Аннотация
В учебном докладе (предназначенном, прежде всего, для студентов) будет представлена аксиоматическая семантика рекурсивных императивных программ, в которой могут возникать бесконечные доказательства (и будет рассказано, как сделать эти доказательства конечными).
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
