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

Двухдневная встреча ведущих экспертов отрасли проводится ежегодно по инициативе Института системного программирования Российской академии наук (ИСП РАН) в память академика В.П. Иванникова – выдающегося ученого, основателя Института. В этом году конференция посвящена Году науки и технологий. Проведение конференции осуществляется при поддержке международной ассоциации IEEE и IEEE Computer Society.

Темы секций:

  • Технологии анализа, моделирования и трансформации программ.
  • Управление данными и информационные системы.
  • Решение задач механики сплошных сред.
  • Цифровая медицина.
  • Анализ программ в жизненном цикле безопасного ПО.

Чтобы принять участие в мероприятии, необходимо зарегистрироваться и прислать на рассмотрение статью или тезисы, отражающие результаты проделанной работы. На рассмотрение принимаются материалы на английском и русском языках, ранее не представленные на других конференциях. Статьи и тезисы подаются через интернет-систему https://easychair.org/.

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

Требования к материалам и другие подробности – в разделе «Публикации».

Важные даты:

  • Срок подачи материалов: до 25 августа 2021 г. (23:59, GMT+3)
  • Уведомление о включении в программу: до 31 августа 2021 г.
  • Готовые к публикации статьи: до 10 сентября 2021 г.
  • Регистрация участников: до 20 сентября 2021 г.

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

Скачать программу конференции

24 сентября 2021 г.

8:00 - 9:00

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

9:00 - 11:00

Пленарная сессия (Актовый зал)


К участию приглашены:

  • Президент РАН А.М. Сергеев
  • Ректор ННГУ Е.В. Загайнова
  • Губернатор Нижегородской области Г.С. Никитин
  • Министр образования, науки и молодежной политики Нижегородской области О.В. Петрова
  • Директор ИСП РАН А.И. Аветисян и другие.
13:00 - 15:00

Обед (Столовая)


Секция «Цифровая медицина» (Зал научных демонстраций)

11:00 - 13:30

Проводится в формате круглого стола


К участию приглашены:

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


Секция «Анализ программ в жизненном цикле безопасного ПО» (Зал научных демонстраций)

16:30 - 19:00

Проводится в формате круглого стола


К участию приглашены:

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


Секция «Трансформация и анализ программ» (Актовый зал)

11:00 - 11:20

Максим Раенчук 1, Виталий Чепцов 1, к.ф.-м.н. Алексей Хорошилов 1

1 ИСП РАН

Кросс-платформенный графический стек для операционной системы реального времени с поддержкой ARINC 653

11:20 - 11:40

Роман Баев 1, Леонид Скворцов 1, Евгений Кудряшов 1, Рубен Бучацкий 1, Роман Жуйков 1

1 ИСП РАН

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

11:40 - 12:00

К.ф.-м.н. Севак Саргсян 1, Мовсес Товмасян 1

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

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

12:00 - 12:20

Леонид Скворцов 1, Роман Баев 1, Ксения Долгорукова 1, Евгений Шарыгин 1

1 ИСП РАН

Разработка компилятора для стековой процессорной архитектуры TF16 на основе LLVM

12:20 - 12:40

Рафаэль Садыков 1, к.ф.-м.н. Михаил Мандрыкин 1

1 ИСП РАН

Полная решающая процедура для теории ограниченной адресной арифметики

12:40 - 13:00

Павел Межуев 1, к.ф.-м.н. Александр Герасимов 1, Петр Привалов 1, Вероника Буткевич 1

1 Huawei Technologies

Динамический алгоритм статического анализа исходного кода программ

13:00 - 13:20

Мариам Арутюнян 1, Рипсимэ Ованнисян 1, Ваган Варданян 1, к.ф. м.н. Севак Саргсян 1, к.ф.-м.н. Шамиль Курмангалеев 2, к.ф. м.н. Айк Асланян 1

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

Метод оценки инструментов сравнения бинарного кода

13:20 - 13:40

К.ф.-м.н. Михаил Чупилко 1,2, к.ф.-м.н. Александр Камкин 1,2, Сергей Смолов 1,2

1 ИСП РАН, 2 РЭУ им. Г.В. Плеханова

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

13:40 - 14:00

Чан Ти Тхиен 1, к.ф.-м.н. Шамиль Курмангалеев 1

1 ИСП РАН

Автоматизированная генерация фаззинг-тестов

14:00 - 14:20

Иван Шарков 1, Вартан Падарян 1, Петр Хенкин 2

1 ИСП РАН, 2 ПАО Сбербанк

Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов

14:20 - 14:40

Дмитрий Ларин 1, к.ф.-м.н. Александр Гетьман 1

1 ИСП РАН

Средства захвата и обработки высокоскоростного сетевого трафика

14:40 - 15:00

Мария Иконникова 1, к.ф.-м.н. Александр Гетьман 1

1 ИСП РАН

Идентификация прозрачных, сжатых и шифрованных данных в сетевом трафике

15:00 - 15:20

Даниил Куц 1

1 ИСП РАН

Подход к использованию символьных указателей в динамическом символьном выполнении

15:20 - 15:40

Владимир Тележников 1, Виктория Егорова 1

1 «РусБИТех-Астра»

О применении технологий фаззинг-тестирования в жизненном цикле разработки средств защиты информации операционной системы Astra Linux

15:40 - 16:00

Д.т.н. Петр Девянин 1, Мария Леонова 1

1 «РусБИТех-Астра»

О доработке описания МРОСЛ ДП-модели на формализованном языке метода Event-B при моделировании взаимодействующих между собой систем управления доступом

16:00 - 16:20

Иван Васильев 1, к.ф.-м.н. Павел Довгалюк 2, Мария Климушенкова 1

1 ИСП РАН, 2 НовГУ

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


Секция «Решение задач механики сплошных сред» (Малый конференц-зал)

11:00 - 11:20

Д.ф.-м.н. Игорь Петров 1, к.ф.-м.н. Василий Голубев 1,2, Алексей Шевченко 1

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

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

11:20 - 11:40

Андрей Станкевич 1, к.ф.-м.н. Алексей Васюков 1, д.ф.-м.н. Игорь Петров 1

1 МФТИ

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

11:40 - 12:00

К.ф.-м.н. Константин Кошелев 1, Андрей Осипов 1, к.ф.-м.н. Сергей Стрижак 1

1 ИСП РАН

Особенности реализации эффективного алгоритма параллельных вычислений для моделирования обледенения стреловидного крыла с профилем GLC-305

12:00 - 12:20

К.ф.-м.н. Иван Амелюшкин 1,2, к.т.н. Максим Кудров 2, Алексей Морозов 2, Андрей Щеглов 2, д.т.н. Альберт Стасенко 1, 2

1 ЦАГИ, 2 МФТИ

Математические модели и методы расчета процессов, сопровождающих обледенение летательного аппарата

12:20 - 12:40

К.ф.-м.н. Александр Чурбанов 1, Наталья Чурбанова 1, д.ф.-м.н. Сергей Поляков 1, к.ф.-м.н. Марина Трапезникова 1

1 ИПМ им. М.В. Келдыша РАН

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

12:40 - 13:00

Д.ф.-м.н. Игорь Куликов 1, к.ф.-м.н. Игорь Черных 1, Дмитрий Краваев 1, Анна Сапетина 1, Сергей Ломакин 1

1 ИВМиМГ СО РАН

Эффективность гидродинамического кода на масштабируемой архитектуре Intel Xeon


Секция «Управление данными и информационные системы» (Лекторий 314)

14:30 - 14:50

Сергей Копылов 1, д.т.н. Александр Козачок 1, Павел Горбачев 1, Борис Кондратьев 2, Артур Гайнов 2

1 Академия ФСО, 2 Министерство обороны РФ

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

14:50 - 15:10

Алексей Якушев 1, к.т.н. Юрий Маркин 1, Станислав Фомин 1, Дмитрий Обыденков 1, Борис Кондратьев 2

1 ИСП РАН, 2 Министерство обороны РФ

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

15:10 - 15:30

Дмитрий Обыденков 1, Александр Фролов 1, к.т.н. Юрий Маркин 1, Станислав Фомин 2, Борис Кондратьев 2

1 ИСП РАН, 2 Министерство обороны РФ

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

15:30 - 15:50

Диана Руденко 1, Кирилл Скорняков 1, Ярослав Недумов 1

1 ИСП РАН

Выделение ссылок из текстов юридических документов

15:50 - 16:10

Дмитрий Девяткин 1, Илья Соченков 1, Яна Погорельская 2, Василий Ядринцев 1

1 ФИЦ ИУ РАН, 2 «Технологии системного анализа»

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

16:10 - 16:30

К.т.н. Никита Дородных 1, к.т.н. Александр Юрин 1, к.т.н. Алексей Шигаров 1, к.ф.-м.н. Денис Турдаков 2

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

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

16:30 - 16:50

Владислав Ананьев 1,2, Сергей Скорик 1, Всеволод Шаклейн 1,2, Арам Аветисян 1, д.м.н. Юрий Терегулов 4,5,6, к.ф.-м.н. Денис Турдаков 1,3, Вадим Глинер 7, Ассаф Шустер, PhD 7, Евгений Карпулевич 1

1 ИСП РАН, 2 Новгородский Государственный Университет им. Ярослава Мудрого, 3 Московский государственный университет имени М.В. Ломоносова, 4 Казанский государственный медицинский университет, 5 Казанская государственная медицинская академия – филиал РМАНПО МЗ РФ, 6 Республиканская клиническая больница МЗ РТ, 7 Израильский технологический институт

Оценка влияния различных неархитектурных изменений предсказательной модели на качество классификации ЭКГ

16:50 - 17:10

Анна Чистякова 1, Мария Черепнина 1, Константин Архипенко 1, Сергей Кузнецов 1, Чанг-Сеок О 2, Себеом Парк 2

1 ИСП РАН, 2 Samsung Research

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

17:10 - 17:30

Михаил Лебедев 1,2, Павел Белецкий 1

1 ИСП РАН, 2 РЭУ им. Г.В. Плеханова

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

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

  1. А.И. Аветисян, академик РАН, директор ИСП РАН.
  2. М.В. Иванченко, д.ф.-м.н., проректор по научной работе ННГУ им. Н.И.Лобачевского.
  3. Н.Ю. Золотых, д.ф.-м.н., директор Института информационных технологий, математики и механики ННГУ им. Н.И.Лобачевского.
  4. И.Б. Петров, член-корреспондент РАН, д.ф.-м.н., заведующий кафедрой информатики и вычислительной математики МФТИ.
  5. Динес Бьёрнер, почетный профессор Датского технического университета.
  6. Ассаф Шустер, ACM Fellow и IEEE Fellow, профессор факультета компьютерных наук Израильского технологического института «Технион».
  7. А.Н. Черных, к.т.н., профессор компьютерных наук в CICESE Research Center (Мексика).
  8. И.В. Аржанцев, д.ф-м.н., декан Факультета компьютерных наук ВШЭ.
  9. А.М. Райгородский, д.ф.-м.н., директор Физтех-школы прикладной математики и информатики МФТИ.
  10. С.П. Прохоров, к.ф.-м.н., ведущий научный сотрудник Института истории естествознания и техники им С.И. Вавилова РАН.
  11. А.К. Петренко, д.ф.-м.н., заведующий отделом технологий программирования (ИСП РАН).
  12. А.А. Белеванцев, д.ф.-м.н., руководитель направления анализа и оптимизации программ (ИСП РАН).
  13. В.А. Падарян, к.ф.-м.н., руководитель направления обратной инженерии бинарного кода (ИСП РАН).
  14. О.И. Самоваров, к.т.н., ученый секретарь ИСП РАН.
  15. Д.Ю. Турдаков, к.ф.-м.н., заведующий отделом информационных систем (ИСП РАН).
  16. А.В. Хорошилов, к.ф.-м.н., директор Центра верификации ОС Linux (ИСП РАН).

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

Конференция проводится в рамках соглашения с Министерством науки и высшего образования РФ № 075-15-2020-915 от 16.11.2020г.

Регистрация

Регистрация на конференцию завершена.

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

Публикации


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


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

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

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

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

2. Статьи на английском языке объемом 3-7 страниц оформляются в соответствии с требованиями IEEE Manuscript Templates.

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

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

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

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


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

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

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

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

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

E-mail и телефон

По всем вопросам, связанным с участием, можно обращаться по e-mail scsec@ispras.ru или по телефону +7(495) 912-44-25.

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

603022, г. Нижний Новгород, пр. Гагарина, 23. Нижегородский государственный университет им. Н.И. Лобачевского (ННГУ)

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

Детали

Конференция проводится с 9:00 до 18:00. Для гостей и участников предусмотрены кофе-брейки и обед.