Открытая конференция ИСП РАН им. В.П. Иванникова

О конференции

Как она прошла в 2024

Открытая конференция ИСП РАН проводится ежегодно по инициативе Института системного программирования им. В.П. Иванникова Российской академии наук при поддержке ряда российских и зарубежных партнёров. В 2024 г. конференция была посвящена 30-летию ИСП РАН, который был основан крупным советским и российским учёным В.П. Иванниковым 25 января 1994 года.

Цели и задачи мероприятия: обмен результатами фундаментальных исследований в области системного программирования и практическим опытом их внедрения, а также поддержка и развитие экосистемы инноваций, созданной в ИСП РАН для разработки информационных технологий и их использования в сферах образования, науки и промышленности.

Участники: эксперты отечественных и зарубежных научных и образовательных организаций, представители ведущих ИТ-компаний и государственных ведомств. Участие бесплатное как для слушателей, так и для докладчиков.

В рамках конференции проводится выставка технологий ИСП РАН, внедрённых в различные отрасли промышленности. К участию приглашаются также партнёрские организации.

Конференция проводится при финансовой поддержке Министерства науки и высшего образования РФ, соглашение № 075-15-2022-294 от 15 апреля 2022 г.

Коротко о конференции 2024 года

Программа конференции

Формируется

Технологии анализа, моделирования и трансформации программ

Секция посвящена методам оптимизации в компиляторе, генерации кода, статическому и динамическому анализу программ и др. В частности, рассматриваются следующие темы:

Обратная инженерия бинарного (исполняемого) кода.
Выполнение программ в контролируемом окружении.
Поиск ошибок и уязвимостей в исполняемом коде.
Анализ сетевого трафика.
Оптимизации в компиляторе и генерация кода.
Статический и динамический анализ программ.
Методы и инструменты анализа и тестирования программ.
Запутывание программ (обфускация).

Управление данными и информационные системы

Секция посвящена вопросам разработки современных методов и систем хранения и анализа больших данных – текстовых, графовых, мультимедийных, научных и др. В частности, рассматриваются следующие темы:

Интеллектуальный анализ данных и извлечение знаний.
Математическая теория и методы машинного обучения и искусственного интеллекта.
Математические модели процессов и явлений реального мира.
Компьютерная лингвистика, анализ и понимание текстов на естественном языке.
Анализ социальных сетей, хранение и анализ больших графов.
Обработка сигналов и анализ изображений.
Анализ контента, созданного пользователями Интернета.
Информационный поиск, рекомендательные системы.
Онтологии и базы знаний.
Информационные системы и технологии.
Масштабируемые алгоритмы анализа данных.
Прикладные задачи анализа данных.
Очистка данных, интеграция разнородных данных, дедупликация данных.
Инфраструктура для хранения и обработки больших объемов данных.
Ключевые технологии создания частных и гибридных облаков.
Высокопроизводительные вычисления и другие облачные сервисы.
Экосистема хранения и обработки больших массивов данных.
Распределенные базы данных и технологии Data/Web Mining.
Программные платформы интернета вещей.
Динамическая балансировка нагрузки в эластичных облаках.
Планирование потока задач в облачных центрах обработки данных.
Оркестрация с использованием стандарта OASIS TOSCA.

Решение задач механики сплошных сред с использованием СПО

Секция предназначена для обмена опытом по созданию свободного ПО для решения задач механики сплошных сред (OpenFOAM, Salome, ParaView, DAKOTA и др.) и сравнения полученных разработок с коммерческими аналогами. В частности, рассматриваются следующие темы:

Моделирование турбулентных течений.
Решение сопряженных задачи теплообмена.
Прикладные задачи гидродинамики, газодинамики, аэродинамики.
Разработка собственных решателей и библиотек.
Научная визуализация и обработка численных результатов.
Вопросы обучения на базе открытых пакетов.

САПР микроэлектронной аппаратуры

Секция посвящена вопросам разработки САПР микроэлектронной аппаратуры, а также вопросам использования открытых (open source) решений в реальных проектах. Среди рассматриваемых тем:

Открытые маршруты проектирования СБИС.
Высокоуровневый синтез и проектирование на системном уровне.
Проектирование на уровне регистровых передач.
Логический синтез (логическая оптимизация и технологическое отображение).
Физический синтез (размещение и трассировка).
Проектирование аналоговых и СВЧ-схем.
Имитационная и формальная верификация.
Автоматизация разработки гетерогенных компьютерных систем.

Лингвистические системы анализа

Секция посвящена методам компьютерного анализа языкового материала с точки зрения фонетических, морфологических, семантических и синтаксических особенностей, а также возможностям сравнения языков и диалектных данных с точки зрения генетического и ареального сходства. Основные темы:

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

Воркшоп «Системы доверенного искусственного интеллекта»

Круглый стол «Цифровая медицина»

Блок «Разработка безопасного ПО»

Круглый стол «Cистемное программирование в высшем образовании: состояние и перспективы»

С участием представителей МФТИ, МГУ им. Ломоносова, МГТУ им. Баумана, НовГУ, СГУ и других ведущих вузов.

Круглый стол посвящён вопросам образования в области системного программирования и кибербезопасности, актуальности существующих образовательных стандартов и их реализации на практике на всех этапах высшего образования начиная с бакалавриата и заканчивая аспирантурой, а также общим проблемам набора абитуриентов и преподавания предметов из указанных областей. Основные темы, предлагаемые к обсуждению в рамках круглого стола:

Интересы и проблемы участников высшего образования: абитуриентов, студентов, преподавателей и администрации, представителей базовых кафедр и организаций, предоставляющих возможность прохождения практики;
сильные/слабые стороны и проблемы преподавания предметов системного программирования;
особенности нового направления «Кибербезопасность» по сравнению с классическим системным программированием и его позиционирование по отношению к близкой области ИБ;
обсуждение уровня высшего образования, на котором стоит начинать подготовку специалистов по новому направлению.

Программный комитет

Руководящий и программный комитет

Аветисян А.И., д.ф.-м.н., академик РАН, директор ИСП РАН.
Белеванцев А.А., д.ф.-м.н., руководитель направления анализа и оптимизации программ ИСП РАН.
Гайсарян С.С., к.ф.-м.н., заведующий отделом компиляторных технологий ИСП РАН.
Гарбук С.В., к.т.н., и.о. директора ВИНИТИ РАН.
Петренко А.К., д.ф.-м.н., заведующий отделом технологий программирования ИСП РАН.
Прохоров С.П., к.ф.-м.н., председатель российского отделения IEEE Computer Society.
Самоваров О.И., к.т.н., ученый секретарь ИСП РАН.
Турдаков Д.Ю., к.ф.-м.н., заведующий отделом информационных систем ИСП РАН.

Программный комитет секции «Технологии анализа, моделирования и трансформации программ»

Аветисян А.И., д.ф.-м.н., академик РАН, директор ИСП РАН.
Белеванцев А.А., д.ф.-м.н., руководитель направления анализа и оптимизации программ ИСП РАН.
Гайсарян С.С., к.ф.-м.н., заведующий отделом компиляторных технологий ИСП РАН.
Гетьман А.И., к.ф.-м.н., с.н.с., руководитель лаборатории анализа сетевого трафика ИСП РАН.
Игнатьев В.Н., к.ф.-м.н., с.н.с. отдела компиляторных технологий ИСП РАН.
Козачок А.В., д.т.н., сотрудник Академии ФСО России, заведующий Лабораторией системного программирования в Орле.
Курмангалеев Ш.Ф., к.ф.-м.н., руководитель направления анализа и оптимизации автономных систем ИСП РАН.
Макаров В.А., к.т.н., ИТиС НовГУ, заведующий Лабораторией системного программирования в Великом Новгороде.
Мельник Д.М., руководитель группы оптимизирующих компиляторов и средств разработки ИСП РАН.
Падарян В.А., к.ф.-м.н., руководитель направления обратной инженерии бинарного кода ИСП РАН.
Петренко А.К., д.ф.-м.н., заведующий отделом технологий программирования ИСП РАН.
Соловьев М.А., к.ф.-м.н., с.н.с., заведующий лабораторией интеллектуального анализа бинарного кода ИСП РАН.
Сорокин К.С., руководитель группы Искусственного интеллекта в программной инженерии.
Хорошилов А.В, к.ф.-м.н., в.н.с. ИСП РАН, руководитель Центра исследования безопасности системного программного обеспечения.

Программный комитет секции «Управление данными и информационные системы»

Аветисян К.И. - к.т.н., РАУ, Армения.
Вохминцев А.В. - д.т.н., профессор ЧелГУ.
Гукасян Ц.Г. - к.ф.-м.н., РАУ, Армения.
Дробышевский М.Д. - к.ф.-м.н., научный сотрудник ИСП РАН.
Курочкин И.И. - к.т.н., старший научный сотрудник ИППИ и ФИЦ ИУ РАН, доцент кафедры инженерной кибернетики МИСиС.
Лукашевич Н.В. - д.т.н., НИВЦ МГУ.
Михайлов А.А. - к.т.н., старший научный сотрудник ИДСТУ СО РАН.
Соченков И.В. - к.ф.-м.н., ведущий научный сотрудник ИСП РАН, ведущий научный сотрудник ИППИ РАН, ведущий научный сотрудник ФИЦ ИУ РАН.
Фильченков А.А. - к.ф.-м.н., доц. Университет ИТМО.

Программный комитет секции «Решение задач механики сплошных сред с использованием СПО»

Елизарова Т.Г., д.ф.-м.н., ИПМ им. М.В. Келдыша РАН.
Епихин А.С., к.т.н., зав.лаб. ИСП РАН.
Марчевский И.К., д.ф.-м.н., МГТУ им. Н.Э. Баумана.
Нуриев А.Н., д.ф.-м.н., Институт математики и механики им. Н. И. Лобачевского.
Стрижак С.В., к.т.н., ИСП РАН.
Чашечкин Ю.Д., д.ф.-м.н., ИПМех РАН.
Щеглов Г.А., д.т.н., МГТУ им. Н.Э.Баумана.

Программный комитет секции «Лингвистические системы анализа»

Норманская Ю.В., д.ф.н., в.н.с., Институт языкознания РАН.
Гончарова О.В., к.ф.н., доцент, Пятигорский государственный университет.
Дыбо А.В., д.ф.н., профессор, член-корр. РАН, Институт языкознания РАН.
Кондратьева Н.В., д.ф.н., профессор, Удмуртский государственный университет.
Кошелюк Н.А., к.ф.н., ИСП РАН.
Нуриева Ф.Ш., д.ф.н., профессор, Казанский государственный университет.

Программный комитет секции «САПР микроэлектронной аппаратуры»

Аряшев С.И., к.т.н., заместитель директора НИИСИ РАН.
Гаврилов С.В., д.т.н., руководитель ОППМ НИЦ «Курчатовский институт».
Камкин А.С., к.ф.-м.н., в.н.с. ИСП РАН.
Коршунов А.В., к.т.н., доцент МИЭТ.
Петров К.А., к.т.н., заместитель заведующего отделением НИИСИ РАН.
Романов А.Ю., к.т.н., доцент МИЭМ НИУ ВШЭ.
Соловьев Р.А., д.т.н., член-корр. РАН, г.н.с. ИППМ РАН.
Тельпухов Д.В., д.т.н., заместитель директора ИППМ РАН.
Чупилко М.М., к.ф.-м.н., с.н.с. ИСП РАН.

Публикации

Для выступления в рамках рецензируемых секций конференции необходимо прислать статью или тезисы доклада, отражающие результаты проделанной работы. На рассмотрение принимаются оригинальные материалы на русском и английском языках, ранее не представленные на других конференциях.

Рецензируемые секции: «Управление данными и информационные системы», «Технологии анализа, моделирования и трансформации программ», «Решение задач механики сплошных сред с использованием СПО», «САПР микроэлектронной аппаратуры», «Лингвистические системы анализа».

Важные даты

Срок подачи статей: до 23:59 5 ноября 2025 г.
Уведомление о включении в программу: до 23:59 18 ноября 2025 г.
Регистрация участников: до 23:59 6 декабря 2025 г.
Готовые к публикации статьи: до 23:59 25 декабря 2025 г.

Правила подачи статей

Все представленные статьи проходят двойное слепое рецензирование. При подаче материала необходимо исключить любую информацию об авторах. Заголовок не должен содержать их имен, адресов электронной почты и названий организаций. В тексте нужно убрать все прямые ссылки на предыдущие работы авторов.

Оформление статей должно быть выполнено в одном из следующих форматов:

1. Статьи на русском языке объемом 8-20 страниц оформляются в соответствии с русскоязычным шаблоном сборника «Труды ИСП РАН».

2. Статьи на английском языке объемом 3-7 страниц оформляются в соответствии с англоязычным шаблоном сборника «Труды ИСП РАН».

Работы, получившие положительные отзывы экспертов и представленные на конференции одним из авторов, публикуются в «Трудах ИСП РАН» (ISSN PRINT: 2220-6426, ISSN ONLINE: 2079-8156), который индексируется в РИНЦ, Google Scholar и др., включен в Russian Science Citation Index (RSCI) на платформе Web of Science, а также входит в перечень ВАК.

Окончательное решение о выборе издания для размещения публикации принимает Программный комитет Открытой конференции. Изначальный формат оформления при этом не учитывается. Авторы принятой статьи должны подготовить ее окончательную версию в соответствующем формате с учетом всех замечаний экспертов.

Заочное участие в конференции не допускается.

Правила подачи тезисов

Тезисы подаются на рецензирование в том случае, если планируется сделать доклад о начальных или промежуточных результатах незавершенного научного исследования, о ходе реализации проекта или об опыте внедрения технологии.

Тезисы необходимо представить на русском языке. Требуемый объем – 3 страницы, оформление – в соответствии с русскоязычным шаблоном сборника «Труды ИСП РАН».

Авторы, получившие положительные отзывы, смогут выступить на Открытой конференции. Публикация тезисов не предусмотрена.

По всем вопросам просьба обращаться по e-mail scsec@ispras.ru.