Новости
Во вторник 31 марта 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Семён Степанов (магистрант СПбГУ)
Тема: Реферат статьи Implementation and Synthesis of Math Library Functions (Ian Briggs, Yash Lad, Pavel Panchekha, POPL-24)
Работа предлагает язык и систему (MegaLibm) для автоматической генерации реализаций математических функций с гарантированной точностью. Вместо ручного написания кода пользователь задаёт алгоритм в DSL, после чего система синтезирует оптимальную реализацию. Корректность проверяется через оценку численной ошибки. Это позволяет получать быстрые и точные реализации, иногда лучше, чем в стандартных математических библиотеках.
Министерство науки и высшего образования Российской Федерации информирует, что в настоящее время осуществляется прием заявок на соискание Научной премии ПАО «Сбербанк России».
На соискание Премии выдвигаются деятели науки, внесшие значительный вклад в развитие науки и технологий и продолжающие ведение активной научно-исследовательской деятельности, связанной с российскими научными, образовательными учреждениями и/или технологическими компаниями.
Подробная информация о Премии, включая правила ее проведения, размещена на официальном сайте Премии.
В четверг 26 марта 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Шувалов Роман Денисович (НГУ)
Тема: Разработка корпуса текстов, размеченных кореференцией. Экспериментальное исследование нейросетевых подходов к разрешению кореференции
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Во вторник 31 марта в 14.30 состоится заседание N 1027 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: А.А. Линке
Тема: Нейроэволюционный симулятор организмов со зрительной системой: интеграция систем распознавания образов и управления движением
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Поздравляем заведующую канцелярией Любовь Васильевну Гридину с юбилеем!
Дорогая Любовь Васильевна! Пусть Ваша работа не будет Вам в тягость, а семья всегда только радует! Желаем, чтобы здоровье не подводило, дом был полной чашей, а рядом всегда были ваши близкие и самые надежные друзья. Будьте счастливы!
Во вторник 24 марта 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Станислав Мищенко (магистрант СПбГУ)
Тема: Реферат статьи Detecting Vector Container Errors in C++ Programs via Abstract Interpretation" (Liu et al., 2026)
Данная работа посвящена применению техник статического анализа для решения задачи обнаружения обращений за приделами памяти и проверки инвалидации итераторов в конкретном случае контейнера std::vector из стандартной библиотеки C++, который является динамическим массивом, и его итераторов. Предложенное решение IKOS4VecErr, основанное на IKOS, фокусируется на 5 распространённых видах ошибок и превосходит существующие решения по эффективности.
Новости за последний месяц
