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

"Иванниковские чтения"

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

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

Темы секций:

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

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

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

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

Важные даты:

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

132

участника

20

докладчиков

4

секции

4

страны

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

Пятница, 13 сентября 2019 г.

9:00 - 9:15
Arutyun Avetisyan

Arutyun Avetisyan1

1 ISP RAS

Welcome Speech at the Opening of the Ivannikov Memorial Workshop - IVMEM-2019

9:15 - 9:30
Borovikov Yuri

Borovikov Yuri1

1 Acting Rector of NovSU

Welcome Speech at the Opening of the Ivannikov Memorial Workshop - IVMEM-2019

9:30 - 10:15
Dines Bjørner

Dines Bjørner1

1 Dept. of Mathematics and Computer Science, Techn. Univ. of Denmark, Denmark

Domain Analysis & Description - A Philosophy Basis


Скачать PDF
10:15 - 11:00
Assaf Schuster

Assaf Schuster1

1 Science Department at the Technion, Israel Institute of Technology, Israel

Distributed Training of Deep Neural Networks

Подробнее
Скачать PDF
11:00 - 11:45
Yael Yaniv

Yael Yaniv1

1 Assistant Professor Laboratory or Department: Biomedical Eng.

How to gain biomedical big data?

Подробнее
Скачать PDF
11:45 - 12:00

Кофе, чай


DBMS, Cloud and Big Data Infrastructure

12-00 - 12:15
Ruben Buchatskiy

Mikhail Pantilimonov, Ruben Buchatskiy, Roman Zhuykov, Eugene Sharygin, Dmitry Melnik

ISP RAS, Lomonosov Moscow State University, CMC Department

Machine Сode Сaching in PostgreSQL Query JIT-compiler

Подробнее
Скачать PDF
12:15 - 12:30

Andrey Tapekhin, Oleg Velikanov, Igor Bogomolov1

1 ISP RAS

Analysis of Consistency for In Memory Data Grid Apache Ignite

Подробнее
Скачать PDF
12:30 - 12:45
Valeriya Shvetcova

Valeriya Shvetcova, Oleg Borisenko, Maxim Polischuk1

1 ISP RAS

Domain-specific Language for Infrastructure as Code

Подробнее
Скачать PDF
12:45 - 13:00
Oksana Belyaeva

Manuk Akopyan, Oksana Belyaeva, Timofei Plechov, Denis Turdakov1

1 ISP RAS

Text Recognition on Images from Social Media

Подробнее
Скачать PDF
13:00 - 13:15
Dmitry Kovalev

Dmitry Kovalev, Sergey Stupnikov1

1 IPI RAN

Constructing Hypothesis Lattices for Virtual Experiments in Data Intensive Research

Подробнее
Скачать PDF
13:15 - 13:30
Vladimir Sazontev

Vladimir Sazontev, Sergey Stupnikov

Lomonosov Moscow State University, IPI RAN

An extensible approach for materialized big data integration in distributed computation environments

Подробнее
Скачать PDF
13:30 - 13:45
Sergey Markizov

Dmitry Puzyrkov, Sergey Polyakov, Sergey Markizov, Victoria Podryga, Nikita Tarasov1

1 Keldysh Institute of Applied Mathematics (Russian Academy of Sciences)

Cloud visualization service using ParaViewWeb

Подробнее
Скачать PDF
13:45 - 14:00
Irina Peganova

Irina Peganova, Alena Rebrova, Yaroslav Nedumov1

1 ISP RAS

Labelling Hierarchical Clusters of Scientific Articles

Подробнее
Скачать PDF
14:00 - 15:00

Обед


Cybersecurity and Program Analysis

15:00 - 15:15
Peter Devyanin

Peter Devyanin, Alexey Khoroshilov1

1 ISP RAS, RusBITech-Astra

On experience of application of the national standard GOST R "Information security. Formal model of security policy" (draft) for Astra Linux Special Edition

Подробнее
Скачать PDF
15:15 - 15:30
Ivan Kulagin

Alexander Bugerya, Ivan Kulagin, Vartan Padaryan, Mikhail Solovev, Andrei Tikhonov1

1 Keldysh Institute of Applied Mathematics of the Russian Academy of Sciences

Recovery of high-level intermediate representations of algorithms from binary code

Подробнее
Скачать PDF
15:30 - 15:45
Ivan Vasiliev

Ivan Vasiliev, Pavel Dovgalyuk, Vladimir Makarov, Maria Klimushenkova1

1 Yaroslav-the-Wise Novgorod State University (NovSU)

Selective Instrumentation Mechanism and its Application in a Virtual Machine

Подробнее
Скачать PDF
15:45 - 16:00
Mariam Arutunian

Mariam Arutunian, Hayk Aslanyan, Vahagn Vardanyan

ISP RAS, Russian-Armenian University

Analysis of Program Patches Nature and Searching for Unpatched Code Fragments

Подробнее
Скачать PDF
16:00 - 16:15
Jivan Hakobyan

Sevak Sargsyan, Jivan Hakobyan1

1 Russian-Armenian University, System programming laboratory

ISP-Fuzzer: Extendable Fuzzing Framework

Подробнее
Скачать PDF
16:15 - 16:30

Кофе, чай


OpenFOAM and HPC Technologies

16:30 - 16:45
Kseniia Kuzmina

Kseniia Kuzmina, Ilia Marchevsky, Evgeniya Ryatina

Bauman Moscow State Technical University, ISP RAS

The VM2D Open Source Code for Incompressible Flow Simulation by Using Meshless Lagrangian Vortex Methods on CPU and GPU

Подробнее
17:00 - 17:15
Daniil Ryazanov

Daniil Ryazanov, Maxim Shatskiy, Ilias Sibgatullin1

1 ISP RAS

OpenFOAM Solver Based on Regularized Hydrodynamic Equations for High Performance

Подробнее
Скачать PDF
17:15 - 17:30
Vladislav Furgailo

Vladislav Furgailo, Andrey Ivanov, Nikolay Khokhlov1

1 Moscow Institute of Physics and Technology (MIPT)

Research of techniques to improve the performance of explicit numerical methods on the CPU

Подробнее
Скачать PDF
17:30 - 17:45

Ivan Shanin, Sergey Stupnikov, Viktor Zakharov1

1 Federal Research Center "Computer Science and Control" of the Russian Academy of Science

Application of Anomaly Detection Methods in the Housing and Utility Infrastructure Data

Подробнее
Скачать PDF

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

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

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

Регистрация

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

Публикации


Для выступления на Международной конференции "Иванниковские чтения" необходимо прислать статью или тезисы доклада, отражающие результаты проделанной работы. На рассмотрение принимаются оригинальные материалы на русском и английском языках, ранее не представленные на других конференциях. Статьи и тезисы подаются через интернет-систему 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), который входит в список научных журналов ВАК, а также индексируется в Российском индексе научного цитирования (РИНЦ) и КиберЛенинке.

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

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


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

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

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

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

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


Место проведения

E-mail и телефон

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

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

Великий Новгород, район Антоново, д. 1. Новгородский государственный университет им. Ярослава Мудрого.

Детали

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