Международная конференция Иванниковские чтения 2025 пройдёт 26-27 июня.

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

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

Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН)
Российская академия наук (РАН)
Институт динамики систем и теории управления имени В.М. Матросова Сибирского отделения Российской академии наук (ИДСТУ СО РАН)

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

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

Важные даты:

Срок подачи материалов: до 23:59 (GMT+3) 22 мая 2025
Уведомление о включении в программу: до 23:59 (GMT+3) 2 июня 2025
Регистрация участников: до 23:59 (GMT+3) 21 июня 2025
Готовые к публикации статьи: до 23:59 (GMT+3) 11 июля 2025

Как проходят наши мероприятия
(Открытая конференция ИСП РАН 2024)

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

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

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

Технологии создания интеллектуальных беспилотных систем

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

компьютерное зрение
искусственный интеллект
навигация
моделирование систем управления
технологии поиска дефектов в автономных системах
стандартизация и сертификация

Управление данными и искусственный интеллект

Две подсекции:

Математические основы искусственного интеллекта
Искусственный интеллект в прикладных системах

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

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

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

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

26 июня 2025 г.
(27 июня - экскурсионный день)

8:30 - 9:30

Регистрация, кофе/чай (фойе)

9:30 - 10:30

Пленарная сессия «Технологии искусственного интеллекта: от фундаментальных исследований к приложениям» (Grand Hall)

10:30 - 11:00

Кофе/чай (фойе)

13:20 - 14:20

Обед-фуршет (фойе)

16:20 - 16:40

Кофе-чай (фойе)

20:00 - 20:30

Фуршет (фойе)

20:30 - 23:00

Банкет (Grand Hall и Red Hall)

Секция «Управление данными и искусственный интеллект» (Grand Hall)

11:00 - 11:20

Мария Щурик¹, Даниил Копылов^2,1

¹ Иркутский государственный университет, ² ИДСТУ СО РАН

Векторные представления шрифтов: дополнительный признак для понимания документов

11:20 - 11:40

Даниил Копылов^1,2, Андрей Михайлов^1,3, Роман Трифонов^1,2

¹ ИДСТУ СО РАН, ² Иркутский государственный университет, ³ ИСП РАН

Сегментация документов на основе графовых нейронных сетей: от строк к словам

11:40 - 12:00

Илья Охотин¹, Никита Дородных¹

¹ ИДСТУ СО РАН

Распознавание заголовков таблиц на основе больших языковых моделей

12:00 - 12:20

Андрей Перминов¹, Андрей Коваленко¹, Денис Турдаков^1,2

¹ ИСП РАН, ² МГУ им. Ломоносов

Метод обучения персептрона на табличных данных с пропусками

12:20 - 12:40

Левон Аветисян¹, Шагане Тигранян¹, Арман Мартиросян¹, Арам Аветисян², Сергей Скорик²

¹ Российско-Армянский университет, ² ИСП РАН

Бимодальный подход для распознавания эмоций на основе аудио и текста для русского языка

12:40 - 13:00

Давид Саргсян¹, Николас Хачатуров¹, Карен Аветисян¹

¹ Российско-Армянский университет

Исследование и разработка моделей синтеза речи на основе текста для армянского языка

13:00 - 13:20

Александр Акименков¹, Юрий Маркин¹, Алексей Якушев¹, Дмитрий Обыденков¹, Станислав Фомин¹, Александр Козачок², Сергей Козлов²

¹ ИСП РАН, ² Академия ФСО

Метрики оценки качества генеративных моделей в задаче Text-To-Image

13:20 - 14:20

Обед-фуршет (фойе)

14:20 - 14:40

Анна Чистякова^1,2, Михаил Паутов^3,1

¹ ИСП РАН, ² МГУ им. Ломоносова, ³ AIRI

ExpressPrint: метод создания цифровых водяных знаков для визуальных базовых моделей

14:40 - 15:00

Алексей Якушев¹, Юрий Маркин¹, Александр Акименков¹, Дмитрий Обыденков¹, Станислав Фомин¹, Александр Козачок², Дмитрий Громей²

¹ ИСП РАН, ² Академия ФСО

Цифровые водяные знаки для изображений, генерируемых нейросетями

15:00 - 15:20

Рустам Узденов^1,2, Андрей Перминов¹

¹ ИСП РАН, ²МГТУ им. Баумана

Shazam алгоритм для обнаружения частичного видео копирования

15:20 - 15:40

Артемий Гладков¹, Леонид Быстров¹, Егор Кузьмин¹

¹ Ярославский государственный университет

Применение нейронных сетей семейства YOLO для обнаружения полезных сигналов на вихретоковых дефектограммах рельсов

15:40 - 16:00

Анна Тимакова¹, Владислав Ананьев², Егор Земнухов², Алексей Баранов², Вадим Алфимов², Владимир Макаров²

¹ Сеченовский университет, ² Новгородский государственный университет им. Ярослава Мудрого

Трофические паттерны рака легкого: инсайты из вычислительной патологии

16:00 - 16:20

Алексей Файзуллин¹

¹ Сеченовский университет

Эволюция морфологической диагностики: data-driven подход к классификации и градации

16:20 - 16:40

Кофе/чай (фойе)

16:40 - 17:00

Лазар Радосавльевич¹, Милица Симич¹, Александар Йоксимович¹, Тамара Наумович¹, Мариана Деспотович-Зракич¹

¹ Белградский университет

Улучшение электронных государственных услуг посредством разработки чат-ботов с использованием Azure OpenAI

17:00 - 17:20

Дмитрий Родионов¹, Максим Дерюгин¹, Денис Турдаков^2,1

¹ ИСП РАН, ² МГУ им. Ломоносова

Применение технологий федеративных баз данных для доступа ко внешним индексным структурам

17:20 - 17:40

Никита Дородных¹, Александр Юрин¹

¹ ИДСТУ СО РАН

Набор табличных данных RF-200 и тестирование производительности извлечения фактов из русскоязычных таблиц

17:40 - 18:00

Артур Сосновиков^1,2, Денис Турдаков^1,3, Антон Земеров²

¹ ИСП РАН, ² Точка Банк, ³ МГУ им. Ломоносова

Итеративное обучение со слабым контролем с уточнением функций разметки на основе больших языковых моделей

18:00 - 18:20

Игорь Буянов¹, Дарья Яськова², Данил Серенко¹, Данил Шкереда¹, Андрей Яськов³, Илья Соченков¹

¹ ФИЦ ИУ РАН, ² MTS AI, ³ Яндекс

Методология создания большего набора данных для обнаружения пресуицидальных и антисуицидальных сигналов в текстах социальных сетей

18:20 - 18:40

Максим Попов¹, Иван Степанов¹, Александр Гетьман^1,2,3,4

¹ ИСП РАН, ² МФТИ, ³ МГУ им. Ломоносова, ⁴ НИУ ВШЭ

Исследование эффективности планировщиков протокола MPQUIC в зависимости от алгоритмов контроля перегрузки

Секция «Технологии анализа, моделирования и трансформации программ» (Red Hall)

11:00 - 11:20

Денис Заведеев¹, Роман Жуйков¹, Леонид Скворцов¹, Михаил Пантилимонов¹

¹ ИСП РАН

Быстрые вызовы и раскрытие на месте: гибридная стратегия для встраиваемых функций виртуальных машин

11:20 - 11:40

Михаил Пантилимонов¹, Рубен Бучацкий¹, Денис Заведеев¹

¹ ИСП РАН

Не LLVM единым: исследование альтернативных методов быстрой генерации кода для компиляции запросов в PostgreSQL

11:40 - 12:00

Виталий Афанасьев¹, Алексей Бородин¹, Евгений Велесевич¹, Борис Орлов^1,2

¹ ИСП РАН, ² МГУ им. Ломоносова

Аннотирование исходного кода для статического анализа

12:00 - 12:20

Андрей Вязовцев^1,2, Ян Чуркин¹, Рубен Бучацкий¹

¹ ИСП РАН, ² МФТИ

Анализ конечных автоматов для языка описания аппаратуры SystemVerilog

12:20 - 12:40

Артемий Галустов¹, Константин Вихлянцев^1,2, Алексей Бородин¹, Андрей Белеванцев^1,3

¹ ИСП РАН, ² МФТИ, ³ МГУ им. Ломоносова

Статический анализ программ на языке Python с разрешением косвенных вызовов

12:40 - 13:00

Данила Панов¹, Никита Шимчик¹, Дмитрий Чибисов¹, Валерий Игнатьев^1,2, Андрей Белеванцев^1,2

¹ ИСП РАН, ² МГУ им. Ломоносова

Повышение точности статического анализа кода при помощи больших языковых моделей

13:00 - 13:20

Иван Черемисенов^1,2, Алексей Бородин¹, Александр Волков¹, Михаил Великанов¹

¹ ИСП РАН, ² МГУ им. Ломоносова

Подход к анализу помеченных данных в статическом анализаторе Svace

13:20 - 14:20

Обед-фуршет (фойе)

14:20 - 14:40

Ефим Гринкруг¹

¹ ИСП РАН

Разновидность JavaBeans-компонент: композиция типов из агрегации инстансов

14:40 - 15:00

Дмитрий Полетаев¹

¹ ИСП РАН

Аппаратное ускорение модуля MMU при полносистемной эмуляции aarch64 на x86-64 в эмуляторе QEMU

15:00 - 15:20

Владислав Степанов¹, Павел Довгалюк¹, Наталья Фурсова¹

¹ ИСП РАН

Интроспекция виртуальной машины на основе мониторинга системных вызовов и структур данных ядра

15:20 - 15:40

Влада Логунова¹

¹ ИСП РАН

Динамическая символьная интерпретация бинарного кода для архитектуры RISCV64

15:40 - 16:00

Дарья Парыгина^1,2, Тимофей Межуев^1,2, Даниил Куц¹

¹ ИСП РАН, ² МГУ им. Ломоносова

Гибридный подход к направленному фаззингу

16:00 - 16:20

Шаке Акопян^1,2, Гарник Хроян^1,2, Рипсиме Оганнисян^1,2, Айк Асланян^1,2

¹ ЦППТ, ² Российско-Армянский университет

Анализ циклов в бинарном коде

16:20 - 16:40

Кофе/чай (фойе)

16:40 - 17:00

Петр Девянин¹, Сергей Жиляков¹, Александр Смирнов¹, Александр Петренко²

¹ ООО «РусБИТех-Астра», ² ИСП РАН

Тестирование подсистемы безопасности ОС Astra Linux на основе формализованного описания модели управления доступом

17:00 - 17:20

Алексей Карнов¹, Евгений Корныхин^1,2

¹ ИСП РАН, ² МГУ им. Ломоносова

Генерация кода исполняемой модели Event-B на языке Python

17:20 - 17:40

Егор Ельчинов¹

¹ ИСП РАН

Адаптация алгоритма ThreadSanitizer для обнаружения гонок по данным в ядре ОСРВ

17:40 - 18:00

Дмитрий Дужинский¹, Дмитрий Булычев¹

¹ Санкт-Петербургский государственный университет

Об описании реляционной модели кода

18:00 - 18:20

Владислав Егоров¹, Александр Гетьман^1,2,3,4, Роман Пономаренко¹

¹ ИСП РАН, ² МФТИ, ³ МГУ им. Ломоносова, ⁴ НИУ ВШЭ

Декларативный язык для отбора и фильтрации данных сетевого трафика

18:20 - 18:40

Вадим Карцев¹, Валерий Игнатьев^1,2

¹ ИСП РАН, ² МГУ им. Ломоносова

Статический анализ языка Visual Basic .NET

Секция «Технологии создания интеллектуальных беспилотных систем» (Переговорная комната №3)

11:00 - 11:20

Петр Ухов¹, Мария Булакина¹, Сергей Крылов¹

¹ МАИ

Сравнение классических и нейросетевых алгоритмов выделения ключевых точек на изображениях пересеченной местности для применения в SLAM-алгоритмах

11:20 - 11:40

Дарья Гордеева¹, Василий Егоров¹

¹ МАИ

Система позиционирования объекта по его звуковому излучению

11:40 - 12:00

Дмитрий Курулюк¹, Максим Кудров¹, Иван Мартынов¹, Марк Овсянников¹

¹ МФТИ

Формирование подходов для постановки и решения научно-технических задач по созданию перспективных технологий для беспилотных авиационных систем

12:00 - 12:20

Максим Столяров¹, Даниил Кузуб¹, Денис Стражков¹

¹ ИСП РАН

Обучение роботов в физическом симуляторе: Gazebo как платформа для разработки и тестирования

12:20 - 12:40

Анна Ильина^1,2, Шамиль Курмангалеев¹, Полина Санкина¹, Виталий Акользин¹

¹ ИСП РАН, ² МГУ им. Ломоносова

Извлечение семантических ядер из программного обеспечения для беспилотных систем

12:40 - 13:00

Вардан Саакян¹, Ваагн Мелконян¹, Севак Саргсян¹

¹ Российско-Армянский университет

Локализация целей в реальном времени на БПЛА с лазерным дальномером на подвесе

13:00 - 13:20

Артур Акопян^1,2, Шамиль Курмангалеев¹, Владлен Горчаков¹, Антон Зенкин¹, Мария Чибисова¹

¹ ИСП РАН, ² МГУ им. Ломоносова

Альтернативный способ анализа встраиваемого ПО беспилотных систем без наличия санитайзеров

13:20 - 14:20

Обед-фуршет (фойе)

14:20 - 14:40

Ваагн Мелконян¹, Армен Сардарян¹, Гоар Хачатрян¹

¹ Российско-Армянский университет

Повторное обнаружение объектов на аэрофотоснимках, полученных с БПЛА

14:40 - 15:00

Максим Мишечкин¹, Шамиль Курмангалеев¹, Анна Cавчук¹, Виктор Тяжелков¹, Анна Федорова¹

¹ ИСП РАН

Новый подход глубокого исследования компонентов разбора данных в беспилотных системах, основанный на методах гибридного статико-динамического анализа

15:00 - 15:20

Лилия Киракосян^1,2, Микаел Навоян^1,2, Армен Сардарян^1,2, Севак Саргсян^1,2

¹ ЦППТ, ² Российско-Армянский университет

Классификация радиосигналов в реальном времени на основе спектрограмм

15:20 - 15:40

Глеб Короткин¹, Иван Ефремов¹, Федор Ниськов¹, Шамиль Курмангалеев¹

¹ ИСП РАН

Исследование надежности и выявление ошибок в микропроцессорах, применяемых в беспилотной технике

15:40 - 16:00

Виталий Акользин¹, Елизавета Чеперегина¹, Шамиль Курмангалеев¹, Максим Мишечкин¹

¹ ИСП РАН

Статико-динамический анализ ArduPilot

16:00 - 16:20

Максим Столяров¹, Алексей Абакумов¹, Сергей Химач¹

¹ ИСП РАН

Моделирование динамики робототехнических систем в Gazebo и практическая реализация

16:20 - 16:40

Кофе/чай (фойе)

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

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

Организаторы и партнеры

Конференция проводится:

Под эгидой Международного десятилетия наук в интересах устойчивого развития ЮНЕСКО (2024-2033).

В рамках соглашения с Министерством науки и высшего образования РФ № 075-15-2022-294 от 15 апреля 2022 г.

Регистрация

Публикации

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

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

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

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

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

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

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

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

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

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

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

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

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

Прошедшие конференции

Международная конференция «Иванниковские чтения» 2024

Международная конференция «Иванниковские чтения» 2022

Международная конференция «Иванниковские чтения» 2021

Международная конференция «Иванниковские чтения» 2020

Международная конференция «Иванниковские чтения» 2019

Ivannikov Memorial Workshop 2018

Контакты и другая информация

E-mail и телефон

По всем вопросам, связанным с участием, можно обращаться по e-mail scsec@ispras.ru.

Адрес места проведения

Россия, г. Иркутск ул. Байкальская, 279 ("Байкал Бизнес Центр")

Детали

Конференция проводится с 9:00 до 18:00.