О мероприятии

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

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

Темы секций:

  • Технологии анализа, моделирования и трансформации программ.
  • Управление данными и информационные системы.
  • Высокопроизводительные вычисления.
  • Системное ПО и операционные системы.

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

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

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

Важные даты:

  • Срок подачи материалов: до 25 июля 2020 г. до 25 августа 2020 г.
  • Уведомление о включении в программу: до 30 августа 2020 г.
  • Готовые к публикации статьи: до 14 сентября 2020 г.
  • Регистрация участников: до 10 сентября 2020 г.

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

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

25 сентября 2020 г.

9:20 - 10:00

Регистрация (холл перед Конференц-залом)

10:00 - 12:00

Пленарная сессия (Конференц-зал)


К участию приглашены: Президент РАН А.М. Сергеев, губернатор Орловской области А.Е. Клычков, начальник Академии ФСО П.Л. Малышев, депутат Госдумы РФ О.В. Пилипенко, директор ИСП РАН А.И. Аветисян и др.

12:00 - 13:00

Обед


Секция «Управление данными и информационные системы» и Круглый стол «Медицина будущего» (Конференц-зал)

13:00 - 14:30

Круглый стол «Медицина будущего»


К участию приглашены (темы докладов уточняются):

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

14:30 - 14:50
P. Andreev

П.К. Андреев 1, В.В. Ананьев 1, В.А. Макаров 2, Е.А. Карпулевич 1, Д.Ю. Турдаков 1

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

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


Скачать PDF
14:50 - 15:10
D. Shaikhelislamov

Д.С. Шайхелисламов 1, М.Д. Дробышевский 2, Д.Ю. Турдаков 2, А.К. Яцков 2, М.И. Варламов 2, Д.А. Айвазов 2

1 МФТИ, 2 ИСП РАН им. В.П. Иванникова

Трехшаговые алгоритмы поиска вершин большой степени в социальных графах


Скачать PDF
15:10 - 15:30

А. Маладжян 1, К. Аветисян 1, Ц. Гукасян 1

1 Лаборатория системного программирования в Российско-Армянском Университете

ARPA: корпус и модели нахождения парафраза в армянском языке


Скачать PDF
15:30 - 16:00

Чай, кофе

16:00 - 16:20

А.Б. Теслюк 1, С.А. Бобков 1, А.С. Беляев 1, А.Е. Филиппов 1, К.Н. Изотов 1, И.Н. Лялин 1, А.С. Шитов 1, Л.Н. Яснопольский 1

1 НИЦ «Курчатовский институт»

Архитектура и особенности развёртывания масштабируемой среды Jupyter в ОВК НИЦ «Курчатовский институт»

16:20 - 16:40
A. Bogatenkova

А.О. Богатенкова 1, И.С. Козлов 1, О.В. Беляева 1, А.И. Перминов 1

1 ИСП РАН им. В.П. Иванникова

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


Скачать PDF
16:40 - 17:00
E. Tretyakov

Е.С. Третьяков 3, М.А. Григорьева 1, А.А. Климентов 2, Д.В. Голубков 4, Т.А. Корчуганова 5, А.А. Алексеев, А.А. Артамонов 3, Т.П. Галкин 3

1 МГУ им. М.В. Ломоносова, 2 Brookhaven National Laboratory (США), 3 МИФИ, 4 Институт физики высоких энергий НИЦ «Курчатовский институт», 5 Universidad Andres Bello (Чили)

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


Скачать PDF
17:00 - 17:20

К.А. Скорняков 1, А.С. Ласкина 1, Д.Ю. Турдаков 1

1 ИСП РАН им. В.П. Иванникова

Двухшаговый метод объединения новостей в сюжеты


Скачать PDF
17:20 - 17:40
D. Kushchuk

Д.О. Кущук 1, М.А. Рындин 1, А.К. Яцков 1, М.И. Варламов 1

1 ИСП РАН им. В.П. Иванникова

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


Скачать PDF
17:40 - 18:00
A. Perminov

А.И. Перминов 1, О.В. Беляева 1, И.С. Козлов 1

1 ИСП РАН им. В.П. Иванникова

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


Скачать PDF
18:00 - 18:20
A. Borisova

А.А. Борисова 1, В.В. Швецова 1, О.Д. Борисенко 1

1 ИСП РАН им. В.П. Иванникова

Адаптация модели стандарта TOSCA контейнерной среды Kubernetes


Скачать PDF
18:20 - 18:40

В.В. Рыжкова 1

1 Национальный аэрокосмический университет им. Н.Е. Жуковского «Харьковский авиационный институт», Харьков, Украина

Возможности компьютерной лексикографии в составлении узкоспециализированных терминологических печатных и электронных словарей (авиационное двигателестроение)


Скачать PDF

Секция «Высокопроизводительные вычисления» (Аудитория 212)

13:00 - 13:20
D. Romanova

Д.И. Романова 1

1 ИСП РАН им. В.П. Иванникова

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


Скачать PDF
13:20 - 13:40
D. Romanova

Д.И. Романова 1, С.В. Стрижак 1

1 ИСП РАН им. В.П. Иванникова

Моделирование процесса обледенения цилиндра с помощью CFD-DEM подхода используя пакеты YADE и OpenFOAM


Скачать PDF
13:40 - 14:00

С.В. Стрижак 1, К.Б. Кошелев 1, В.Г. Мельникова 1

1 ИСП РАН им. В.П. Иванникова

Разработка решателя iceFoam для моделирования процесса обледенения


Скачать PDF
14:00 - 14:20
I. Amelushkin

И.А. Амелюшкин 1,2, А.С. Щеглов 1,3

1 ФГУП «Цаги» им. Н.Е. Жуковского, 2 МГУ им. М.В. Ломоносова, 3 МФТИ

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


Скачать PDF
14:20 - 14:40

С.В. Засухин 1, Е.С. Засухина 2

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

Нахождение почвенных параметров


Скачать PDF
14:40 - 15:00
N. Khrapov

Н.П. Храпов 1

1 ИППИ РАН

Метрики эффективности и производительности при использовании эволюционного алгоритма на грид-системах из персональных компьютеров


Скачать PDF
15:30 - 16:00

Чай, кофе

16:00 - 17:30

Круглый стол «Ассиметричный ответ. Информационные войны будущего»


К участию приглашены (темы докладов уточняются):

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


Секция «Технологии анализа, верификации и трансформации программ» и Круглый стол «Кибербезопасность» (Аудитория 201)

13:00 - 13:20
A. Filatov

А.Ю. Филатов 1, В.В. Михеев 2

1 Новосибирский государственный университет, 2 Новосибирский исследовательский центр Huawei

Оценка эффективности потоково-локальной сборки мусора


Скачать PDF
13:20 - 13:40

А. Асланян 1, М. Арутюнян 1, Г. Керопян 2, Ш.Ф. Курмангалеев 3, В. Варданян 1

1 Российско-Армянский университет, 2 Ереванский государственный университет, 3 ИСП РАН им. В.П. Иванникова

BinSide – фреймворк для поиска дефектов в бинарном коде программ


Скачать PDF
13:40 - 14:00
I. Trepakov

И.С. Трепаков 1, П.Е. Павлов 2

1 Новосибирский государственный университет, 2 Новосибирский исследовательский центр Huawei

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


Скачать PDF
14:00 - 14:20
A. Fedotov

А.Н. Федотов 1, Ш.Ф. Курмангалеев 1

1 ИСП РАН им. В.П. Иванникова

CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках


Скачать PDF
14:20 - 14:40

И.В. Щепетков 1, А.В. Хорошилов 1, В.В. Кулямин 1, А.К. Петренко 1

1 ИСП РАН им. В.П. Иванникова

Метод уточнения на основе состояний Event-B


Скачать PDF
14:40 - 15:00
M. Leonova

М.А. Леонова 1, П.Н. Девянин 1

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

Приёмы по доработке описания модели управления доступом ОССН Astra Linux Special Edition на формализованном языке метода Event-B для обеспечения её верификации инструментом проверки моделей ProB


Скачать PDF
15:00 - 15:20
A. Spirin

А.А. Спирин 1, А.В. Козачок 1

1 Академия ФСО

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


Скачать PDF
15:30 - 16:00

Чай, кофе

16:00 - 16:20

А.В. Козачок 1, С.А. Копылов 1

1 Академия ФСО

Оценка ёмкости встраивания робастного водяного знака, основанного на изменении межстрочных интервалов


Скачать PDF
16:20 - 16:40
E. Shishkin

Е.С. Шишкин 1, Е.С. Кислицын 1,2

1 ИнфоТеКС, 2 МГУ им. М.В. Ломоносова

Протокол сертификации целостности облачных вычислений


Скачать PDF
16:40 - 17:00

Е.М. Винарский 1, А.В. Демаков 2, А.С. Камкин 2, Н.В. Евтушенко 2

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

Проверка криптографических протоколов при помощи Tamarin Prover


Скачать PDF
17:00 - 18:40

Круглый стол «Кибербезопасность»


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

  • начальник управления ФСТЭК России Д.Н. Шевцов;
  • заместитель директора Postgres Professional И.Е. Панченко, руководитель группы ИБ и сертификации В.В. Попов. Опыт внедрения SDL-практик в компании Postgres Professional (Скачать PDF);
  • генеральный директор «Беллсофт» А.А. Белокрылов. Особенности фаззинга динамического компилятора Liberica JDK (Скачать PDF);
  • начальник группы продуктовой безопасности АО «Лаборатория Касперского» Д.В. Шмойлов. Опыт внедрения SDL-практик в АО «Лаборатория Касперского» (Скачать PDF);
  • технический директор «АЙДЕКО» М.М. Коренберг. Инфраструктура разработки в облаке (Скачать PDF);
  • руководитель отдела реагирования на инциденты кибербезопасности Центра мониторинга и реагирования BI.ZONE В.C. Хрыков. Threat Hunting. Проактивное обнаружение современных киберугроз (Скачать PDF);
  • технический директор НТЦ «Фобос-НТ» Д.В. Пономарев. Опыт внедрения SDL-практик в отечественных компаниях (Скачать PDF).

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

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

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

Регистрация

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

Публикации


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

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

г. Орёл, Наугорское шоссе, дом 29.
Орловский государственный университет.

Детали

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