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

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

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

Темы секций:

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

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

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

Важные даты:

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

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

В настоящее время программа формируется.

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

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

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

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

Детали

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