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

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

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

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

Темы секций:

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

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

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

Важные даты:

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

Event Schedule

Friday, 13th September

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
Dines Bjørner

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

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

Learn more
11:00 - 11:30
Yael Yaniv

Yael Yaniv1

1 Assistant Professor Laboratory or Department: Biomedical Eng.

How to gain biomedical big data?

Learn more
11:30 - 11:45

Coffee-break


DBMS, Cloud and Big Data Infrastructure

11-45 - 12:00

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

Learn more
12:00 - 12:15

Andrey Tapekhin, Oleg Velikanov, Igor Bogomolov1

1 ISP RAS

Analysis of Consistency for In Memory Data Grid Apache Ignite

Learn more
12:15 - 12:30

Dmitry Anikin, Oleg Borisenko, Yaroslav Nedumov1

1 ISP RAS

Labeled Property Graphs: SQL or NoSQL?

Learn more
12:30 - 12:45

Valeriya Shvetcova, Oleg Borisenko, Maxim Polischuk1

1 ISP RAS

Domain-specific Language for Infrastructure as Code

Learn more
12:45 - 13:00

Manuk Akopyan, Oksana Belyaeva, Timofei Plechov, Denis Turdakov1

1 ISP RAS

Text Recognition on Images from Social Media

Learn more
13:00 - 13:15

Dmitry Kovalev, Sergey Stupnikov1

1 IPI RAN

Constructing Hypothesis Lattices for Virtual Experiments in Data Intensive Research

Learn more
13:15 - 13:30

Vladimir Sazontev, Sergey Stupnikov

Lomonosov Moscow State University, IPI RAN

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

Learn more
13:30 - 13:45

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

Learn more
13:45 - 14:00

Irina Peganova, Alena Rebrova, Yaroslav Nedumov1

1 ISP RAS

Labelling Hierarchical Clusters of Scientific Articles

Learn more
14:00 - 14:45

Lunch


Cybersecurity and Program Analysis

14:45 - 15:00

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

Learn more
15:00 - 15:15

Maria Poltavtseva, Daria Bazarnova1

1 Peter the Great St. Petersburg Polytechnic University

Automation of Open Sources Data Processing for the Security Assessment

Learn more
15:15 - 15:30

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

Learn more
15:30 - 15:45

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

Learn more
15:45 - 16:00

Mariam Arutunian, Hayk Aslanyan, Vahagn Vardanyan

ISP RAS, Russian-Armenian University

Analysis of Program Patches Nature and Searching for Unpatched Code Fragments

Learn more
16:00 - 16:15

Sevak Sargsyan, Jivan Hakobyan1

1 Russian-Armenian University, System programming laboratory

ISP-Fuzzer: Extendable Fuzzing Framework

Learn more
16:15 - 16:30

Coffee-break


OpenFOAM and HPC Technologies

16:30 - 16:45

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

Learn more
17:00 - 17:15

Daniil Ryazanov, Maxim Shatskiy, Ilias Sibgatullin1

1 ISP RAS

OpenFOAM Solver Based on Regularized Hydrodynamic Equations for High Performance

Learn more
17:15 - 17:30

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

Learn more
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

Learn more
17:45 - 18:00

Olga Olkhovskaya, Gennadiy Bagdasarov, Vladimir Gasilov, Yulia Sharova1

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

High Performance Computations for Short-lived Plasmas

Learn more

Докладчики


В стадии формирования.

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

  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. Для гостей и участников предусмотрены кофе-брейки и обед.