Заседания семинаров
Идентификатор конференции: 314 114 3903
Код доступа: 009
Емельяненков И. А.
Комплексы предикатных структур и их свойства.
к.ф.-м.н. Дмитрий Кондратьев, ИСИ
Автоматизация доказательства условий корректности программ и перспективы применения машинного обучения в данной области.
Семинар посвящен памяти Юрия Григорьевича Решетняка.
Zoom
Д. А. Троценко (Новосибирск)
Теория верхних множеств.
Аннотация
Доклад приурочен к юбилею автора и посвящен обзору наиболее интересных его результатов. В докладе будет рассказано, что автор называет теорией верхних множеств.Новиков Артем Олегович
Двухуровневые стохастические модели инвестиционных проектов (кандидатская диссертация).
1.2.2 — Математическое моделирование, численные методы и комплексы программ.
М. Н. Гаськова
Об $n$-разрешимости булевых алгебр с одним выделенным идеалом.
А. Л. Искра
Порядки произведений двух инволюций в группе подстановок целых чисел.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
