About the Workshop

"Ivannikov Memorial Workshop"

The Ivannikov Memorial Workshop is devoted advances in basic IT technologies that serve as basis for modern IT Industry:

  • Technologies of program analysis, modeling and transformation.
  • Management of Data and Information Systems.
  • High Performance Computing.
  • System Software and Operating Systems.
  • Special Track on 70th anniversary of IT in USSR.

The Workshop is dedicated to the memory of outstanding Soviet and Russian scientist and developer, Academician Victor Ivannikov, Honorary Professor of Russian-Armenian University.

We solicit original and unpublished articles of current research, results or work in progress. We invite both researchers and practitioners to submit early research work or general discussions. All accepted papers will be published in the Proceedings of Ivannikov Memorial Workshop, that is to be indexed in Web of Science and Scopus. To present your research at Ivannikov Memorial Workshop please submit a paper, that was neither published nor submitted for other conferences.

We accept:

  • Extended abstracts from 1 to 2 pages A4, 12 point serif font, ordinary spacing.
  • Extended templates will be used to review the talk. They are not intended for publication.
  • Based on the results of the review the Program Committee may recommend to provide a full paper for the Workshop Proceedings.
  • Full papers 3-7 pages long in IEEE conference template. Accepted papers will be published in the Workshop Proceedings.

Contributions are accepted in English.

Link to submit your contribution: https://easychair.org/

To participate in the events of Ivannikov ISPRAS Conference please register.

Fees: free of charge.

Important Dates

  • Participants registration due to May 1, 2018;
  • Articles submission due to April 10, 2018;
  • Notification of acceptance April 15, 2018;
  • Camera ready copies: May 15, 2018.

210

Participants

15

Speakers

6

Countries

Event Schedule

Don't miss a topic on the Workshop

Thursday, 3th May

9:00

Registration, coffee

10:00

Opening and greetings: TBT

11:40

Coffee break

12:00
Yuri Shoukourian

Prof. Yu. Shoukourian, Prof. H. Astsatryan, Prof. V. Sahakyan

National Academy of Sciences of the Republic of Armenia, Armenia

"Prerequisites Establishment of a HPDA Centre of Excellence in Armenia"

Download PDF
12:30
Dines Bjørner

Prof. Dines Bjørner

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

"Towards a philosophy of computing"

Download PDF
13:00
Dionysios Tsichritzis

Prof. Dionysios (Dennis) Tsichritzis

Honorary Professor of University of Geneva

"50 years of digitalization"

Download PDF
13:30
Assaf Schuster

Prof. Assaf Schuster

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

"Recent Advances in Complex Event Processing"

Download PDF
14:00

Lunch

15:00
Vladimir Voevodin

Prof. Vladimir Voevodin

Lomonosov Moscow State University, Russia

"How to go beyond the limitations of the Top500 methodology"

Download PDF
15:15
Andrei Tchernykh

Prof. Andrei Tchernykh

CICESE Research Center, Ensenada, Baja California, México

"From Smart Anything to Security Everywhere"

Download PDF
15:30
Mikhail Yakobovskiy

Mikhail Yakobovskiy, Boris Chetverushkin

KIAM RAS, Russia

"Fault-tolerant algorithms for exaflop computing systems"

Download PDF
15:45
Vitaly Semenov

Prof. Vitaly Semenov

ISP RAS, Russia

"Multi-Disciplinarity and Emerging BIM Technologies"

Download PDF
16:00
Alexey Khoroshilov

Alexey Khoroshilov

ISP RAS, Russia

"Key Aspects of Operating System Testing"

Download PDF
16:15

Coffee break

16:30
Andrey Belevantsev

Andrey Belevantsev, Alexey Borodin, Irina Dudina, Valery Ignatiev, Alexey Izbyshev, Sergey Polyakov, Evgeny Velesevich and Dmitry Zhurikhin

ISP RAS, Russia

"Design and development of Svace static analyzers"

Download PDF
16:45
Sevak Sargsyan

Sevak Sargsyan

Yerevan State University, Armenia

"SPLAB research for safe and effective software"

Download PDF
17:00
Denis Turdakov

Denis Turdakov

ISP RAS, Russia

"Management of Data and Information Systems"

Download PDF
17:15
Tsolak Ghukasyan

Tsolak Ghukasyan

Russian-Armenian University, Armenia

"Development of Text Processing Tools for Armenian and Integration into Texterra"

Download PDF
17:30
Vartan Padaryan

V. Padaryan, M. Solovyev, A. Getman, K. Batuzov, V. Efimov, M. Bakulin, S. Panasenko, O. Goremykin

ISP RAS, Russia

"Methods and software tools for analysis of binary code security"

Download PDF
17:45
Vladimir Makarov

Vladimir Makarov

Novgorod State University, Russia

"QEMU-based tools"

Download PDF
18:00

Summary

Friday, 4th May

11:00

Installation of the Khachkar to Academician Victor Petrovich Ivannikov will be held in Khor Virap.

The ceremony will be starts at 11:00.

Transfer will be organized from ibis Yerevan Center hotel at 8:30 am. Hotel's address: Republic of Armenia, Yerevan, Northern Avenue, 5/1.

Speakers


Yuri Shoukourian

Prof. Yuri Shoukourian

Vice-President of the National Academy of Sciences of the Republic of Armenia, Member of the Presidium of the NAS RA.

Vladimir Sahakyan

Prof. Vladimir Sahakyan

Director of Institute for Informatics and Automation Problems of the National Academy of Sciences of the Republic of Armenia.

Dionysios Tsichritzis

Prof. Dionysios (Dennis) Tsichritzis

Honorary Professor University of Geneva.

Arutyun Avetisyan

Prof. Arutyun Avetisyan

Corresponding member of RAS. Director of the Ivannikov Institute for System Programming of the Russian Academy of Sciences, Russia.

Ruben Topchyan

Prof. Ruben Topchyan

Director of National Center for Professional Education Quality Assurance Foundation, Armenia.

Assaf Schuster

Prof. Assaf Schuster

ACM Fellow and IEEE Fellow, Professor of the Computer Science Department at the Technion, Israel Institute of Technology.

Dines Bjørner

Prof. Dines Bjørner

PhD, Dr.h.c., Prof. Emeritus, DTU Compute, Dept. of Mathematics and Computer Science, Techn.Univ.of Denmark, DK-2800 Kgs.Lyngby, Denmark MAE, MRANS, ACM Fellow, IEEE Fellow.

Vladimir Voevodin

Prof. Vladimir Voevodin

Corresponding member of RAS. Deputy Director of MSU Research Computing Center, Russia.

Andrei Tchernykh

Prof. Andrei Tchernykh

CICESE Research Center, Ensenada, Baja California, México.

Mikhail Yakobovskiy

Prof. Mikhail Yakobovskiy

Corresponding member of RAS. Keldysh Institute of Applied Mathematics of Russian Academy of Sciences, Russia.

Programme Committee

  1. Prof. Igor Petrov, Corresponding member of RAS. Head of the MIPT Department of Informatics and Computational Mathematics, Russia.
  2. Prof. Dines Bjørner, Emeritus of Computing Science, Department of Mathematics and Computer Science, Technical University of Denmark.
  3. Prof. Assaf Schuster, ACM Fellow and IEEE Fellow, Professor of the Computer Science Department at the Technion, Israel Institute of Technology.
  4. Prof. Yuri Shoukourian, Vice-President of the National Academy of Sciences of the Republic of Armenia, Member of the Presidium of the NAS RA.
  5. Prof. Armen Darbinyan, Rector of the Russian-Armenian University. Corresponding member of the National Academy of Sciences of the Republic of Armenia.
  6. Prof. Vladimir Sahakyan, Director of Institute for Informatics and Automation Problems of the National Academy of Sciences of the Republic of Armenia.
  7. Prof. Ivan Arzhantsev, Dean of the Faculty of Computer Science, Higher School of Economics, Russia.
  8. Sergei Prokhorov, Associate Professor, Leading Research Officer of the Vavilov Institute for History of Science and Technology of the Russian Academy of Sciences, Russia.
  9. Vartan Padaryan, Associate Professor, Leading Research Officer of the Ivannikov Institute for System Programming of the Russian Academy of Sciences, Russia.
  10. Andrey Belevantsev, Associate Professor, Leading Research Officer of the Ivannikov Institute for System Programming of the Russian Academy of Sciences, Russia.
  11. Nikolay Pakulin, Scientific Secretary of the Ivannikov Institute for System Programming of the Russian Academy of Sciences, Russia.
  12. Denis Turdakov, Associate Professor, Head of Department, Ivannikov Institute for System Programming of the Russian Academy of Sciences, Russia.
  13. Alexey Khoroshilov, Associate Professor, Leading Research Officer of the Ivannikov Institute for System Programming of the Russian Academy of Sciences, Russia.

Organizers & Partners

They helping us make this workshop better.

Registration


Venue Information


May 3, 2018, 09:30 am. Unveiling of the Conference. Russian-Armenian University, Republic of Armenia, Yerevan, 123 Hovsep Emin street.

May 4, 2018, 11:00 am. The official opening of Khachkar, dedicated to the memory of Academician of RAS Viktor Petrovich Ivannikov, Khor Virap.