ИМ СО РАН

Предыдущая версия сайта

Вход для сотрудников

Расписание семинаров

Сегодня,

Анонсы

Семинар «Геометрия, топология и их приложения»
11.00 ч., ауд. 305, ИМ

Р. Н. Ли (ИЯФ СО РАН)
Искусственный интеллект и математические олимпиады: взгляд любителя.

АннотацияКак современный искусственный интеллект справляется с задачами, которые решают школьники на математических олимпиадах? Насколько быстро ИИ превзойдёт человека в этом искусстве? На семинаре будет представлен взгляд любителя олимпиадных задач и, в прошлом, участника математических олимпиад, интересующегося новыми возможностями искусственного интеллекта.
Семинар «Теория групп»
16.30 ч., к. 417, ИМ

Е. А. Шапорина
Структура и автоморфизмы некоторых циклических расширений свободных групп.

Семинар «Эварист Галуа»
18.10 ч., новый корпус НГУ, ауд. 5218

А. Р. Углев
Базис тождеств для некоторого семейства решеток (продолжение).

Семинар «Математические модели принятия решений»
14.30 ч., Яндекс Телемост
  1. Федорова Анастасия
    Приближенный алгоритм для цеховой задачи открытого типа с техническим обслуживанием машин.
     
  2. Белькова Татьяна
    Матэвристика для задачи упаковки нерегулярных многоугольников в рюкзак.
Семинар «Теория кодирования»
14.30 ч., ауд. 344, ИМ
  1. Искра Елизавета Дмитриевна 
    Слова Линдона неподвижных точек циклических морфизмов.
     
  2. Муравьёва Елена Максимовна
    Неорбитные совершенные раскраски квадратной решетки.
Cеминар «Нестандартные логики» им. Л. Л. Максимовой
18.10 ч., ауд. 5273, НГУ (новый корпус)

Елизавета Валерьевна Брылякова (Красноярский математический центр, Сибирский федеральный университет)
О доказательстве финитарного типа унификации в предтабличных расширениях Int.

АннотацияВ докладе рассматривается тип унификации предтабличных суперинтуиционистских логик L2 и L3. С помощью модифицированного метода n-характеристических моделей, доказывается, что обе логики имеют финитарный тип унификации: каждая унифицируемая формула обладает конечным набором максимальных унификаторов. Приводится построение характеристических моделей и схема сведения унификаторов к функциям на конечной модели.
Все семинары

Семинары ОФ ИМ СО РАН

Семинары ММЦ в Академгородке

Диссертационные советы SciAct1C-Кабинет сотрудника Важнейшие результаты

Новые публикации

Хмара И. С., Леванова Т. В.
Разработка методов решения одной робастной двухкритериальной задачи группировки
Научно-технический вестник Поволжья. 2026. № 2. С. 38-42.

Романов А. М.
О ядрах нелинейных квазисовершенных кодов
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2026. Т. 23. № 1. С. 137–148.
DOI: 10.33048/semi.2026.23.010

Рыбалов А. Н., Шевляков А. Н.
О генерической сложности проблемы решения уравнений в форме Сколема над моноидами
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2026. Т. 23. № 1. С. 244-256.
DOI: 10.33048/semi.2026.23.015

Юн В. Ф.
Примеры $J$-логик с интерполяционными свойствами
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2026. Т. 23. № 1. С. 1-8.
DOI: 10.33048/semi.2026.23.001

Semenko R. E., Shukurov G. N.
On the stability of the plane flow of viscoelastic polymer liquid
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2026. V. 23. N 1. P. 9-28.
DOI: 10.33048/semi.2026.23.002

Редакционная деятельность

Журналы ИМ СО РАН

Сибирский математический журнал
Сайт журнала | СМЖ в Springer | Полные тексты

Дискретный анализ и исследование операций
Сайт журнала | Полные тексты

Сибирский журнал индустриальной математики
Сайт журнала  |  Полные тексты

Journal of Applied and Industrial Mathematics
Сайт журнала

Сибирские электронные математические известия
Сайт журнала

Свежие номера журналов

Сибирский математический журнал
Том 67, 2026 г., номер 2

Дискретный анализ и исследование операций
Том 32, 2025 г., номер 3

Сибирский журнал индустриальной математики
Том 28, 2025 г., номер 3(103)

Сибирские электронные математические известия
Том 23, 2026 г., номер 1

ИМ СО РАН в СМИ

ИМ в СМИ
Бильярд в конусе. «Поиск», №14 от 01.04.2026
В новосибирском Академгородке прошла конференция «Механика, геометрия, интегрируемость»
Что такое ядерная медицина. Коммерсантъ, 28.03.2026
Двойники по-черному. Коммерсантъ, 08.02.2026
Связующий алгоритм. «Поиск», №3-4, 2026
Больше новостей >>

Все новости

Научные мероприятияКонференцииГранты и конкурсы
СобытияДокументы ИМ в СМИ

Новости Министерства науки и высшего образования Российской Федерации

О мерах организационного и практического характера и направлении информации

По результатам оценки результативности научных организаций ФГБУН Институту математики им. С. Л. Соболева Сибирского отделения Российской академии наук присвоена 1 категория.

Список публикаций сотрудников ИМ СО РАН за 2014-2022 гг. (по информации Scopus)

Список публикаций сотрудников ИМ СО РАН за 2014-2022 гг. (Web of Science (Core Collection))