About the Workshop

The Workshop is devoted to the development of innovative technologies in system programming, which serve as a basis for modern IT industry.

Three sections:

  • Program analysis, modeling and transformation technologies
  • Data management and information systems

Two roundtables:

  • Digital medicine
  • Secure software development: competencies, community, certification

The Workshop is dedicated to the memory of outstanding Soviet and Russian scientist and developer, Academician Victor Ivannikov, who founded the Institute for System Programming (ISP RAS) in 1994. The Workshop is organized with support of IEEE.

To present your research at Ivannikov Memorial Workshop please submit a paper, that was neither published nor submitted for other conferences. We accept original materials containing the results of research or describing the work in progress. We invite both researchers and practitioners.

Sumbission details

All the materials are accepted in English or in Russian via EasyChair

Participation in the conference and publication of articles are free of charge. Travel and accommodation, as well as other expenses are to be paid by the participant.

Deadlines:

  • Materials submission: August 20, 2022 (23:59, GMT+3).
  • Notification of acceptance: August 31, 2022.
  • Camera ready copies: September 10, 2022.
  • Participants registration: September 18, 2022.

Event Schedule

Agenda is being formed

Programme Committee

  1. Arutyun Avetisyan, Academician of RAS, ISP RAS Director.
  2. Igor Petrov, Corresponding member of RAS, Head of the MIPT Department of Informatics and Computational Mathematics.
  3. Andrey Tchernykh, Ph.D., Professor, CICESE Research Center, Mexico.
  4. Ivan Arzhantsev, Dr. Sci., Dean of the Faculty of Computer Science, HSE.
  5. Andrei Raigorodskii, Dr. Sci., Director of Phystech School of Applied Mathematics and Informatics, MIPT.
  6. Sergey Prokhorov, Ph.D., chair of IEEE Computer Science Russian chapter.
  7. Petrenko Aleksander, Prof., Head of Software Engineering Department (ISP RAS).
  8. Andrey Belevantsev, Dr. Sci., Head of Program Analysis and Optimization Team (ISP RAS).
  9. Vartan Padaryan, Ph.D., Head of Binary Reverse Engineering Team (ISP RAS).
  10. Oleg Samovarov, Ph.D., Scientific Secretary (ISP RAS).
  11. Denis Turdakov, Ph.D., Head of Information Systems Department (ISP RAS).
  12. Alexey Khoroshilov, Ph.D., Director of Linux verification center (ISP RAS).

Organizers & Partners

The Сonference is supported by the Ministry of Science and Higher Education of Russia, agreement № 075-15-2020-915 of 16.11.2020.

Registration


Paticipation in the conference and publication of articles are free of charge. Travel and accommodation, as well as other expenses are to be paid by the participant.

The venue may be changed due to the epidemiological situation; the Conference may take place online.

Contact us via e-mail scsec@ispras.ru to get instructions.

Submission


The papers should be 3 to 7 pages long. The workshop proceedings will be published online and indexed in Web of Science и Scopus. Peer review is double-blind. Please remove any references to authors (such as names, affiliations or e-mails) from submitted articles, as well as direct references to previous works. In case of successful review and acceptance you will be requested to submit camera-ready text with necessary author details.

Submission is open at EasyChair.

Submissions that violate these guidelines will be rejected.

Contacts

E-mail and phone

You may contact us by e-mail scsec@ispras.ru or phone +7(495) 912-44-25.

Venue address

Kazan Expo International Exhibition Center. Bolshie Kabany, Vystavochnaya Street, 1 (near Kazan Airport).

Details

The Workshop is held from 9:00 to 18:00.