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

В 2026 году в Этномире (Калужская обл., Боровский р-н, д. Петрово) состоится международная конференция «Иванниковские чтения», посвящённая разработке инновационных технологий в области системного программирования.

Организаторами выступают:

  • Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН)
  • Российская академия наук (РАН)
  • Этнографический парк-музей (Этномир)

Организационный взнос за участие в конференции не взимается.

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

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

Важные даты:

  • Срок подачи материалов: до 23:59 (GMT+3) 10 апреля 15 апреля 2026
  • Уведомление о включении в программу: до 23:59 (GMT+3) 30 апреля 2026
  • Регистрация участников: до 23:59 (GMT+3) 11 мая 2026

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

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

29 июня 2026 г.
(30 мая - экскурсионный день)

8:30 - 9:00

Регистрация (фойе)

9:00 - 10:00

Пленарная сессия («Конгресс-холл»)

12:10 - 12:30

Кофе-брейк (фойе)

14:00 - 15:00

Обед (рестораны «Индийская душа», «Чайхона»)

17:20 - 17:40

Кофе-брейк (фойе)

20:00 - 23:00

Банкет (зал «Трапезная»)


10:10 - 10:30

Валерий Игнатьев1, Дмитрий Митрофанов1, Андрей Белеванцев1

1 ИСП РАН

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

10:30 - 10:50

Валентин Шабанов1

1 ИСП РАН

Метод сбора трасс выполнения Android-приложений на уровне инструкций байт-кода

10:50 - 11:10

Алексей Чуркин1, Сергей Бронников2, Сергей Каплун2

1 МФТИ, 2 ПАО «ВК Технологии»

Автоматическая верификация оптимизаций LuaJIT с использованием SMT-решателя

11:10 - 11:30

Михаил Биктимиров1,2, Валерий Игнатьев1,2

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

Методы упрощения предикатных формул в статическом анализаторе для повышения точности и производительности

11:30 - 11:50

Павел Смирнов1, Александр Гетьман1,2,3, Вартан Падарян1,3

1 ИСП РАН, 2 МФТИ, 3 МГУ им. Ломоносова

Разработка методов и средств автоматизированного сбора мобильного трафика

11:50 - 12:10

Антон Васильев1, Вадим Мутилин1,2

1 ИСП РАН, 2 МФТИ

Снижение количества ложных предупреждений в анализе на основе SMG с помощью памяти по запросу

12:10 - 12:30

Кофе-брейк

12:30 - 12:50

Василий Алхимов1

1 НИУ ВШЭ

Методика комбинированного анализа защищённости Mach-O бинарных файлов: от статической декомпиляции к runtime-верификации

12:50 - 13:10

Фёдор Пчелкин1, Алексей Хорошилов1,2

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

CombFuzz: Метод комбинированного фаззинг-тестирования драйверов ядра Linux

13:10 - 13:30

Алексей Сосунов1, Алексей Бородин1

1 ИСП РАН

Использование промежуточного представления LLVM 20 для статического анализа

13:30 - 13:50

Никита Фаст1, Александр Кривоногов2, Дмитрий Кознов1

1 СПбГУ, 2 ООО «Концентр»

Предметно-ориентированное моделирование радиотехнических измерительных стендов

13:50 - 14:10

Сергей Сухинин1,2, Вадим Карцев1,3, Валерий Игнатьев1,2

1 ИСП РАН, 2 МГУ им. Ломоносова, 3 МФТИ

Поддержка ref-ссылок языка C# в статическом анализаторе SharpChecker

14:10 - 15:00

Обед (ресторан «Чайхона»)

15:00 - 15:20

Петр Девянин1, Иван Кемаев1

1 ООО "РусБИТех-Астра"

Способ выявления нарушений безопасности (на примере вирусов-шифровальщиков) OC Astra Linux с использованием машинного обучения

15:20 - 15:40

Иван Степанов1, Александр Гетьман1,2,3

1 ИСП РАН, 2 МФТИ, 3 МГУ им. Ломоносова

Сравнительный анализ алгоритмов обучения с подкреплением для контроля перегрузки TCP в многопользовательской среде

15:40 - 16:00

Чан Ти Тхиен1, Ань Куинь Нгуен1

1 VinSOC, Вьетнам

VulnHunterX: автоматизированный поиск уязвимостей с использованием LLM

16:00 - 16:20

Ксения Ханевская1,2, Ульяна Тяжкороб1,2, Валерий Игнатьев1,3

1 ИСП РАН, 2 МФТИ, 3 МГУ им. Ломоносова

Поиск множественного перечисления коллекций в исходном коде на языке C# методами статического анализа

16:20 - 16:40

Павел Никульшин1, Алексей Хорошилов1,2, Евгений Дубич1

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

SyzAnalyzer: Инструмент анализа трудновоспроизводимых ошибок в ядре Linux

16:40 - 17:00

Идар Тутаев1, Борис Позин2

1 НИУ ВШЭ, 2 ИСП РАН

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

17:00 - 17:20

Эридан Доморацкий1, Дмитрий Булычев1

1 СПбГУ

Сертифицированный алгоритм унификации рациональных термов

17:20 - 17:40

Кофе-брейк

17:40 - 18:00

Софья Зеленова1, Сергей Зеленов1

1 ИСП РАН

Статическое распределение памяти для блоков памяти с учётом выравнивания

18:00 - 18:20

Олег Крюков1, Анна Волошко1, Алексей Ивутин1

1 Тульский государственный университет

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

18:20 - 18:40

Георгий Злыгостев1,2, Вадим Карцев1,3, Валерий Игнатьев1,2

1 ИСП РАН, 2 МГУ им. Ломоносова, 3 МФТИ

Использование инкрементального режима SMT-решателя для оптимизации времени работы методов символьного выполнения

18:40 - 19:00

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

1 ИСП РАН, 2 НовГУ им. Ярослава Мудрого

19:00 - 19:20

Сергей Зеленов1

1 ИСП РАН

Автоматическая генерация тестов для оптимизаторов на основе атрибутной грамматики


Секция «Технологии создания интеллектуальных беспилотных систем» (зал «Гималайский дом»)

10:10 - 10:25

Владимир Щелов1

1 МФТИ ФМПИ

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

10:25 - 10:40

Вардан Саакян1, Артур Саркисян1, Армен Сардарян1

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

Визуальная система навигации роя БПЛА типа «лидер — ведомый» в условиях отсутствия сигналов ГНСС

10:40 - 10:55

Алексей Воронин1

1 ИСП РАН

Видеоданные и геоинформационная система как элемент «зрения» интеллектуальных беспилотных систем

10:55 - 11:10

Олег Заплатин1, Фома Максименков1, Сергей Фёдоров1, Илья Макаров2

1 МГТУ им. Н.Э. Баумана, 2 НИУ ВШЭ

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

11:10 - 11:25

Лилиа Киракосян1, Микаел Навоян1, Севак Саргсян1, Ованнес Туманян1

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

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

11:25 - 11:40

Максим Столяров1, Шамиль Курмангалеев1, Мария Чибисова1

1 ИСП РАН

Разработка и валидация цифрового двойника четвероногого робота в Gazebo с последующей практической реализацией системы управления

11:40 - 11:55

Максим Столяров1, Шамиль Курмангалеев1

1 ИСП РАН

Разработка мобильной робототехнической платформы с дифферинциальным приводом на базе ROS 2

11:55 - 12:10

Елизавета Чеперегина1, Даниил Кузуб1, Шамиль Курмангалеев1

1 ИСП РАН

Сравнение методов визуальной локализации БПЛА без GPS

12:10 - 12:30

Кофе-брейк

12:30 - 12:45

Петр Ухов1, М.Б. Булакина1, С.С. Крылов1

1 Московский авиационный институт

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

12:45 - 13:00

Юрий Бородачев1

1 НИЯУ МИФИ

Информационная безопасность и развитие ВАТС: новые возможности и системные угрозы

13:00 - 13:15

Кирилл Цырульников1

1 МГТУ им. Н.Э. Баумана

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

13:15 - 13:30

П.А. Лазарев1, Н.В. Гурько1

1 КНИТУ-КАИ им. А.Н. Туполева

Визуально-инерциальная навигация БПЛА с адаптивной оценкой неопределённости нейросетевой локализации на основе эвиденциального обучения

13:30 - 13:45

Ксения Воробьева1

1 НИЯУ МИФИ

Разработка модульного автопилота БПЛА как основы для интеграции интеллектуальных алгоритмов и перехода к отечественным программно-аппаратным платформам

13:45 - 14:00

Даниэль Карасов1

1 НИЯУ МИФИ

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

14:00 - 15:00

Обед (ресторан «Чайхона»)


Секция «Применение СПО для решения задач механики сплошной среды» (зал «Гималайский дом»)

15:20 - 15:40

Степан Елистратов1, Иван Бут1, Андрей Епихин1

1 ИСП РАН

Аппроксимация параметров размыва под струей для широкого класса задач

15:40 - 16:00

Артем Нуриев1, Дамир Исмагилов1, Наиль Гумеров1, Вадим Анисимов1

1 (Казанский (Приволжский) федеральный университет)

Верификация реализаций RANS моделей турбулентности в OpenFOAM на базе 2D тестовых задач TMR и ERCOFTAC

16:00 - 16:20

Артем Нуриев1, Дамир Исмагилов1

1 (Казанский (Приволжский) федеральный университет)

Исследование масштабируемости OpenFOAM на задаче о турбулентно-ламинарном переходе при обтекании цилиндра

16:20 - 16:40

Егор Павлов1

1 ИСП РАН

Гибридные вычисления для OpenFOAM: внедрение и тестирование библиотек для переноса расчетов на GPU

16:40 - 17:00

Иван Бут1

1 ИСП РАН

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

17:00 - 17:20

Степан Елистратов1

1 ИСП РАН

О визуализации волновых аттракторов в сильнонелинейных режимах с помощью метода DMD

17:20 - 17:40

Кофе-брейк

17:40 - 18:00

Дарья Романова1

1 ИСП РАН

Разработка нейросетевой турбулентной модели на основе обобщённой гипотезы Поупа

18:00 - 18:20

Пугачев Максим1

1 Университет "Сириус"

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

18:20 - 18:40

Алексей Глотов1, Светлана Фортова1, Анна Посудневская1

1 Институт прикладной математики им. М.В. Келдыша РАН

Применение нейронных сетей для моделирования турбулентного режима течения Колмогорова


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

10:10 - 10:30

Артур Сосновиков1, Андрей Румянцев1, Денис Турдаков1, Сергей Николенко2

1 ИСП РАН, 2 ПОМИ РАН

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

10:30 - 10:50

Дмитрий Пойманов1

1 МГУ им. Ломоносова

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

10:50 - 11:10

Арье Гоцданкер1

1 ИСП РАН

Мультиагентная LLM-симуляция как аффективная абляция: декомпозиция когнитивно-дискурсивного и мотивационного слоёв групповой регуляции методом триангуляции симуляция–человек

11:10 - 11:30

Арнольд Еникеев1, Никита Киселев1, Андрей Грабовой1

1 МФТИ

Адаптивный выбор дисперсии гауссовского сэмплирования для оценки сходимости ландшафта потерь методом Монте-Карло

11:30 - 11:50

Андрей Грабовой1

1 ИПУ РАН

О показателе ландшафтной сложности для полносвязных сетей ReLU при квадратичной функции потерь

11:50 - 12:10

Михаил Сентюрев1, Илья Макаров1

1 ИСП РАН

О разработке активации для повышения надежности и эффективной пропускной способности нейронных сетей

12:10 - 12:30

Кофе-брейк

12:30 - 12:45

Анна Зверева1, Андрей Грабовой1, Мариам Каприелова1

1 МФТИ

Метод детерминированной теоретико-информационной регуляризации гибридных нейросетей в задачах классификации фМРТ

12:45 - 13:00

Егор Ушаков1, Евгений Карпулевич1

1 ИСП РАН

Улучшение генерации медицинских изображений за счет разложения текстового условия

13:00 - 13:15

Анастасия Соколова1, Вера Кулакова1, Зоя Соловьёва2

1 МГУ им. Ломоносова, 2 ГНЦ РФ ИМБП РАН

13:15 - 13:30

Илья Латышев1, Александр Козачок1, Елена Козачок1

1 ИСП РАН

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

13:30 - 13:45

Денис Тихонов1, Вадим Стрижов1,2

1 МФТИ, 2 ООО "Форексис"

Объединение пространств состояний динамической системы через полилинейное отображение

13:45 - 14:00

Владимир Щелов1

1 МФТИ ФПМИ

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

14:10 - 15:00

Обед (ресторан «Индийская душа»)

15:00 - 15:20

Андрей Моисейкин1, Михаил Дробышевский1, Михаил Соловьев1

1 ИСП РАН

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

15:20 - 15:40

Тимур Ионов1,2, Валентин Малых1,2

1 MWS AI, 2 ИТМО

MAESTRO: Синтез многоходовых агентных окружений для обучения и оптимизации

15:40 - 16:00

Георгий Семеняк1,2, Константин Сорокин1, Владимир Качанов1, Ольга Михальцова1, Данила Михальцов1

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

ExploRICO: Повышение эффективности исследовательского тестирования при помощи классификации изображений мобильных пользовательских интерфейсов

16:00 - 16:20

Денис Красильников1, Олег Лашинин1, Лиана Марданова3,2, Илья Макаров4, Андрей Бабкин2

1 МФТИ, 2 Т-Банк, 3 Университет Иннополис, 4 НИУ ВШЭ

CrossFormerRec: Единая трансформерная модель кросс-ретейлерных рекомендаций в платформе-агрегаторе доставки продуктов

16:20 - 16:40

Диана Есаулова1, Павел Бедрин1, Максим Варламов1, Александр Яцков1

1 ИСП РАН

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

16:40 - 17:00

Роман Столяров1,2, Олег Борисенко2, Дмитрий Тулин2, Вениамин Арефьев2

1 НИУ ВШЭ, ФКН, 2 ИСП РАН

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

17:00 - 17:20

Дарья Наумкина1,2, Иван Проскуряков1, Давид Бадалян1

1 ИСП РАН, 2 МГУ им. М.В. Ломоносова

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

17:20 - 17:40

Кофе-брейк

17:40 - 17:55

Иван Бубенков1, Олег Быков1

1 ИСП РАН

Анализ методов ограничения генерации нежелательных изображений в диффузионных моделях

17:55 - 18:10

Дмитрий Матюшин1,2, Олег Быков1

1 ИСП РАН, 2 МФТИ

Исследование применения диффузионного редактирования для аугментации в задачах классификации изображений

18:10 - 18:25

Дмитрий Александров1, Владимир Василевский1, Людмила Резуник1, Леон Кулигин1, Анастасия Манушкина1, Никита Думкин1, Михаил Прозорский1, Кирилл Пинигин2

1 НИУ ВШЭ, 2 Университет Иннополис

avaCapsule: Итеративная отладка с использованием меморизированного трансформера для высококачественной генерации Java-кода

18:25 - 18:40

Алексей Степин1, Борис Толстокулаков1, Владислав Куликов1, Артем Кабанов1, Артем Кабанов2, Михаил Мозиков3, Илья Макаров3

1 Университет ИТМО, 2 ИСП РАН, 3 AXXX Tech

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

18:40 - 18:55

Никита Дородных1,2, Андрей Михайлов1,2, Дмитрий Косогоров1,2, Иван Поддубный1,2, Даниил Копылов1,2, Кирилл Тобола1,2, Илья Охотин1,2

1 ИДСТУ СО РАН, 2 ИСП РАН

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

18:55 - 19:10

Иван Поддубный1, Никита Дородных1, Алдар Армаев2

1 ИДСТУ СО РАН, 2 ИГУ

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

19:10 - 19:25

Марина Кучина1, Иван Папай1, Андрей Грабовой2, Александр Кильдяков2

1 МФТИ, 2 ИПУ РАН

Зависимость внутренней размерности текста от языка


Секция «Лингвистические системы анализа» (зал «Япония»)

10:10 - 10:30

Виктория Воробьева1,2

1 ИСП РАН, 2 ТПУ

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

10:30 - 10:50

Сергей Ковылин1,2

1 ИСП РАН, 2 ТГПУ

Развитие аблативного форманта *naːnɨ в селькупских диалектах

10:50 - 11:10

Ирина Новак1,2

1 Институт языка, литературы и истории КарНЦ РАН, 2 ИСП РАН

«Корельская Исповѣдь»: памятник тверской карельской письменности XIX в.

11:10 - 11:30

Тимофей Тимкин1, Ксения Шиндрова1

1 ИФЛ СО РАН

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

11:30 - 11:50

Муратова Римма1

1 Институт истории, языка и литературы УФИЦ РАН

Лексема *Āl ‘красный, алый’ в тюркских языках: поиск когнатов, этимологический анализ и картографирование на лингвистической платформе ЛингвоДок

11:50 - 12:10

Денис Догадушкин1, Юлия Норманская2,3

1 МГИМО, 2 ИЯз РАН, 3 ИСП РАН

Связь экономических циклов и времени распада праязыков с точки зрения глоттохронологии (на материале монгольских языков)

12:10 - 12:30

Кофе-брейк

12:30 - 12:50

Эвелина Тимофеева1

1 РУДН

Частота основного тона в английском языке аборигенов Кейп-Йорка: отличия от стандартного австралийского английского

12:50 - 13:10

Самона Курилова1

1 СВФУ имени М. К. Аммосова

Многоголосие Арктики: документирование, исследование, цифровизация исчезающих языков в рамках проекта РНФ (на материале юкагирского языка)

13:10 - 13:30

Юлия Норманская1,2

1 ИЯз РАН, 2 ИСП РАН

Значение современных полевых данных по баоаньскому языку, собранных в Китае в уезде Линься провинция Ганьсу

13:30 - 13:50

Оксана Гончарова1,2

1 РУДН, 2 ИСП РАН

Принципы построения системы просодической аннотации и на основе параметрических данных

13:50 - 14:10

Дерябина Светлана1, Екатерина Овсий1

1 РУДН

Принципы разработки архитектуры диалогового тренажёра

14:10 - 15:00

Обед (ресторан «Индийская душа»)

15:00 - 15:20

Нуриева Фануза1, Галиуллина Гульшат1, Юсупов Айрат1

1 КФУ

Анализ языковых особенностей словника ‘Tatarice (Tatarorum Tobolensium)’ Й.Э. Фишера (1768) на платформе ЛингвоДок

15:20 - 15:40

Серебренникова Теодора1

1 РУДН

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

15:40 - 16:00

Чикаке Тендай Мапунгвана1, Михайлов Андрей1

1 МФТИ

Гибридный подход к zero-shot оцениванию эссе между корпусами на основе LLM-агентов с рубрично-ориентированными промптами и детерминированных лингвистических признаков.

16:00 - 16:20

Еремеев Максим1,2, Хумонен Иннокентий1,2, Голядкин Максим1,2, Макаров Илья1,2, Фитискина Анна1,2

1 НИУ ВШЭ, 2 ИСП РАН

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

16:20 - 16:40

Карен Аветисян1,2, Алексанян Айкуи1,2

1 ИСП РАН, 2 Российско-Армянский Университет

Технологии искусственного интеллекта для малоресурсных языков

16:40 - 17:00

Степанов Сергей1

1 СВФУ имени М. К. Аммосова

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

17:00 - 17:20

Малышева Нинель1

1 СВФУ имени М. К. Аммосова

Лингвистическая экология Арктики: от полевых данных до цифровой платформы (на материале языков коренных народов Якутии)»

17:20 - 17:40

Кофе-брейк


Проектная сессия «Доменные ИИ-пилоты для развития научных исследований» (зал «Гумно»)

15:00 - 18:00

В программе сессии:

  • Обзорные доклады об инфраструктуре сбора научных данных и о доступности вычислительной среды для научных задач;
  • Презентации доменных ИИ-пилотов: AI4-Megascience, AI4-Медицина, AI4-Агро, AI4-Материалы, AI4-Химия, AI4-Авиа и иные;
  • Голосование по пилотам и тематическая дискуссия по трём системным задачам;
  • Подведение итогов и формирование предложений к проекту поручений.

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

  1. Аветисян А.И., академик РАН, директор ИСП РАН.
  2. Аветисян К.И., к.т.н., РАУ, Армения.
  3. Бабенко М.Г., д.ф.-м.н., заведующий кафедрой вычислительной математики и кибернетики СКФУ.
  4. Безносиков А.Н., к.ф.-м.н., заведующий молодёжной лабораторией по федеративному обучению ИСП РАН, сотрудник МФТИ.
  5. Белеванцев А.А., д.ф.-м.н., руководитель направления анализа и оптимизации программ (ИСП РАН).
  6. Бычков И.В., академик РАН, директор ИДСТУ СО РАН.
  7. Вохминцев А.В., д.т.н., профессор ЧелГУ.
  8. Гасников А.В., д.ф.-м.н., профессор, ректор Университета Иннополис, ведущий научный сотрудник МИАН РАН и ИСП РАН, заведующий кафедрой математических основ управления в МФТИ.
  9. Гетьман А.И., к.ф.-м.н., с.н.с., руководитель лаборатории анализа сетевого трафика ИСП РАН.
  10. Дробышевский М.Д., к.ф.-м.н., научный сотрудник ИСП РАН.
  11. Заикин А.А., к.ф.-м.н., профессор системной медицины Университетского колледжа Лондона (Великобритания).
  12. Игнатьев В.Н., к.ф.-м.н., с.н.с. отдела компиляторных технологий ИСП РАН.
  13. Козачок А.В., д.т.н., сотрудник Академии ФСО России, заведующий Лабораторией системного программирования в Орле.
  14. Курмангалеев Ш.Ф., к.ф.-м.н., руководитель направления анализа и оптимизации автономных систем (ИСП РАН).
  15. Курочкин И.И., к.т.н., старший научный сотрудник ИППИ и ФИЦ ИУ РАН, доцент кафедры инженерной кибернетики МИСиС.
  16. Лукашевич Н.В., д.т.н., НИВЦ МГУ.
  17. Маркин Ю.В., к.т.н., научный сотрудник ИСП РАН, доцент кафедры системного программирования МФТИ, руководитель направления применения цифровых водяных знаков.
  18. Михайлов А.А., к.т.н., старший научный сотрудник ИДСТУ СО РАН.
  19. Норманская Ю.В., д.ф.н., в.н.с., Институт языкознания РАН.
  20. Падарян В.А., к.ф.-м.н., руководитель направления обратной инженерии бинарного кода (ИСП РАН).
  21. Петренко А.К., д.ф.-м.н., заведующий отделом технологий программирования (ИСП РАН).
  22. Прохоров С.П., к.ф.-м.н., председатель российского отделения IEEE Computer Society.
  23. Самоваров О.И., к.т.н., ученый секретарь ИСП РАН.
  24. Саргсян С.С., д.ф.-м.н., заведующий кафедрой системного программирования Российско-Армянского университета (Армения).
  25. Сорокин К.С., руководитель группы Искусственного интеллекта в программной инженерии.
  26. Соченков И.В., к.ф.-м.н., ведущий научный сотрудник ИСП РАН, ведущий научный сотрудник ИППИ РАН, ведущий научный сотрудник ФИЦ ИУ РАН.
  27. Турдаков Д.Ю., к.ф.-м.н., руководитель Исследовательского центра доверенного искусственного интеллекта ИСП РАН.
  28. Фильченков А.А., к.ф.-м.н., доц. Университет ИТМО.
  29. Хорошилов А.В., к.ф.-м.н., руководитель Центра исследования безопасности системного ПО (ИСП РАН).
  30. Черных А.Н., д.т.н., профессор компьютерных наук в CICESE Research Center (Мексика).

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


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

Под эгидой Международного десятилетия наук в интересах устойчивого развития ЮНЕСКО (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 страницы, оформление – в соответствии с русскоязычным шаблоном сборника «Труды ИСП РАН».

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

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


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

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

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

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

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

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

Ivannikov Memorial Workshop 2018

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

E-mail и телефон

По всем вопросам, связанным с участием, можно обращаться через форму обратной связи. Актуальные новости и объявления - в канале https://t.me/ispras

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

Россия, Калужская обл., Боровский р-н, д. Петрово (Этнографический парк-музей, GPS-координаты: 55.242730, 36.428131)

Детали

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