Новости
Институт системного программирования РАН приглашает принять участие в международной конференции «Иванниковские чтения», которая пройдет 28–30 мая 2026 года в этнографическом парке-музее ЭТНОМИР (Калужская обл., Боровский р-н, д. Петрово). Конференция посвящена разработке инновационных технологий в области системного программирования и искусственного интеллекта.
С 2026 года программа конференции расширится за счет проведения коллоквиума SYRCoSE, ориентированным на молодых исследователей в сфере информационных технологий. Это позволит объединить на одной площадке как опытных специалистов, так и тех, кто только начинает свой путь в науке.
- Технологии анализа, моделирования и трансформации программ.
Секция посвящена методам оптимизации в компиляторе, кодогенерации, статическому и динамическому анализу программ, в том числе с применением искусственного интеллекта, а также различным методам, архитектурам и компонентам современных операционных систем для эффективных вычислений и систем контроля. - Технологии создания интеллектуальных беспилотных систем.
Секция посвящена вопросам моделирования, тестирования, разработки и испытаний автономных робототехнических комплексов и систем. Кроме того, затрагиваются вопросы, связанные с разработкой доверенных программно-аппаратных комплексов, обеспечивающих функционирование таких систем (в том числе с использованием искусственного интеллекта). - Управление данными и искусственный интеллект.
Секция посвящена вопросам разработки современных методов и систем хранения и анализа больших данных – текстовых, графовых, мультимедийных, научных и др. - Лингвистические системы анализа.
Секция посвящена методам компьютерного анализа языкового материала с точки зрения фонетических, морфологических, семантических и синтаксических особенностей, а также возможностям сравнения языков и диалектных данных с точки зрения генетического и ареального сходства.
Важные даты:
- До 10 апреля — подача материалов;
- До 30 апреля — уведомление о включении в программу;
- До 11 мая — регистрация участников.
Работы, получившие положительные отзывы экспертов и представленные на конференции одним из авторов, будут опубликованы в сборнике «Труды ИСП РАН», входящем в перечень ВАК.
Организационный взнос за участие не взимается.
Подробнее на сайте конференции.
Министерство науки и высшего образования Российской Федерации информирует о проведении 10 апреля 2026 года в 10:00 по московскому времени II Всероссийского космического диктанта «Кадры для космоса», в рамках Первой Российской недели космоса (6–12 апреля 2026 года), посвященной 65-летию первого полета человека в космос, который совершил Юрий Гагарин.
Участие в Диктанте доступно в онлайн формате всем желающим.
Дополнительно сообщаем, что в рамках Диктанта с 30 марта 2026 года реализуется космическая игра «Клик до Марса», победители которой также будут объявлены вместе с победителями диктанта.
В четверг 2 апреля 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Кондратьев Дмитрий Александрович (ИСИ СО РАН)
Тема: Серия соревнований по формальной верификации программ VeHa: три года большого пути
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Во вторник 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 ИСИ СО РАН.
Докладчик: Шувалов Роман Денисович (НГУ)
Тема: Разработка корпуса текстов, размеченных кореференцией. Экспериментальное исследование нейросетевых подходов к разрешению кореференции
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Новости за последний месяц
