Международная конференция Иванниковские чтения 2025 пройдёт в мае в Белграде (Сербия).

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

В мае 2025 года в Белграде (Сербия) состоится международная конференция «Иванниковские чтения», посвящённая разработке инновационных технологий в области системного программирования. Организаторами выступают:

ИСП РАН,
Российская академия наук.

Участие бесплатное как для слушателей, так и для докладчиков.

«Иванниковские чтения» проводятся по инициативе ИСП РАН в память его основателя ‒ академика В.П. Иванникова. Ранее конференция уже проходила в Ереване, Великом Новгороде, Орле, Нижнем Новгороде и Казани, собирая более 300 участников. Подробнее – в разделе «История».

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

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

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

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

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

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

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

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

На стадии подготовки.

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

Арутюн Аветисян, академик РАН, директор ИСП РАН.
Юрий Боровиков, д.т.н., профессор, ректор Новгородского государственного университета им. Ярослава Мудрого.
Сергей Прохоров, к.ф.-м.н., председатель российского отделения IEEE Computer Society.
Андрей Черных, д.т.н., профессор компьютерных наук в CICESE Research Center (Мексика).
Марьяна Деспотович-Зракич, профессор Белградского университета (Сербия), руководитель Лаборатории моделирования.
Зорица Богданович, профессор Белградского университета (Сербия), руководитель Центра IoT.
Алексей Заикин, к.ф.-м.н., профессор системной медицины Университетского колледжа Лондона (Великобритания).
Севак Саргсян, к.ф.-м.н., заведующий кафедрой системного программирования Российско-Армянского университета (Армения).
Александр Петренко, д.ф.-м.н., заведующий отделом технологий программирования (ИСП РАН).
Андрей Белеванцев, д.ф.-м.н., руководитель направления анализа и оптимизации программ (ИСП РАН).
Шамиль Курмангалеев, к.ф.-м.н., руководитель направления анализа и оптимизации автономных систем (ИСП РАН).
Вартан Падарян, к.ф.-м.н., руководитель направления обратной инженерии бинарного кода (ИСП РАН).
Олег Самоваров, к.т.н., ученый секретарь ИСП РАН.
Денис Турдаков, к.ф.-м.н., руководитель Исследовательского центра доверенного искусственного интеллекта ИСП РАН.
Алексей Хорошилов, к.ф.-м.н., директор Центра исследования безопасности системного ПО (ИСП РАН).

Публикации

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

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

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

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

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

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

Работы, получившие положительные отзывы экспертов и представленные на конференции одним из авторов, публикуются в одном из следующих сборников:

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

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

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

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

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

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

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