Ivannikov Memorial Workshop 2025

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.

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.

Sections:

Technologies for modeling, analysis, and transformation of programs for general purpose and autonomous systems
Data management and AI mathematical foundations

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

Materials are supplied via the 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: May 19, 2025 (23:59, GMT+3).
Notification of acceptance: June 2, 2025 (23:59, GMT+3).
Participants registration: June 21, 2025 (23:59, GMT+3).
Camera ready copies: Jule 11, 2025 (23:59, GMT+3).

About our events (ISP RAS Open Conference 2024)

Program analysis, modeling, and optimization

The section is devoted to applying program analysis techniques (including the use of artificial intelligence) in a security development lifecycle and covers a wide range of topics related to software development and deployment as well as to standards and certification. Also the section is devoted to methods, architectures and components of modern operating systems for reliable and efficient computing and control systems. The topics include:

Binary code reverse engineering
Program execution in controlled environment
Vulnerability search in executable code
Network traffic analysis
Compiler optimization and code generation
Program static and dynamic analysis
Program analysis and testing methods and tools
Security and privacy in operating systems
Development lifecycle: standards and certification
Real-time operating systems, Internet of Things (IoT)
Network stacks and technologies
Kernels and OS architectures

Development of intelligent autonomous systems

Data management and artificial intelligence with two subsections

Mathematical foundations of artificial intelligence
Artificial intelligence in applications

Linguistic analysis systems

Transcription correctness analysis from the point of view of speech audio recordings analysis in experimental phonetic programs.
Identification of morphological features, rules of morphemes use semantics with the help of special programs.
Words semantics analysis in different languages from the point of view of genetic and areal proximity.
Generic proximity calculation of dialects and languages via phonetic changes.
Text corpora creation and processing with the help of word combination analysis programs.

Open source software in continuum mechanics: а dialogue of science and industry

Event Schedule

It is being formed.

Program Committee

Arutyun Avetisyan, Academician of RAS, ISP RAS Director.
Igor Bychkov, Academician of RAS, Director of the Institute for System Dynamics and Control Theory of Siberian Branch of RAS (IDSTU SB RAS).
Sergey Prokhorov, Ph.D., chair of IEEE Computer Science Russian chapter.
Andrey Tchernykh, Dr. Sci., Professor, CICESE Research Center, Mexico.
Marijana Despotović-Zrakić, Professor at University of Belgrade (Serbia), Chief of Laboratory for Simulation.
Zorica Bogdanović, Professor at University of Belgrade (Serbia), Chief of the Center for IoT.
Zoran Ognjanović, research professor, director of the Mathematical Institute SANU (Serbia).
Alexey Zaikin, Professor of Systems Medicine in University College London (Great Britain).
Alexander Gasnikov, Dr. Sci., Prof., rector of Innopolis University, leading researcher at Steklov Mathematical Institute of RAS and ISP RAS, Head of Department for Foundations of Control Theory at MIPT.
Alexander Beznosikov, Ph.D., Head of Young Researcher Laboratory on Federative learning at ISP RAS, researcher at MIPT.
Sevak Sargsyan, Dr. Sci., Head of the System Programming Laboratory at Russian-Armenian University (Armenia).
Aleksander Petrenko, Prof., Head of Software Engineering Department (ISP RAS).
Andrey Belevantsev, Dr. Sci., Head of Program Analysis and Optimization Team (ISP RAS).
Shamil Kurmangaleev, Ph.D., Head of Analysis and Optimization of Autonomous Systems (ISP RAS).
Vartan Padaryan, Ph.D., Head of Binary Reverse Engineering Team (ISP RAS).
Oleg Samovarov, Ph.D., Scientific Secretary (ISP RAS).
Denis Turdakov, Ph.D., Head of ISP RAS Trusted AI Research Center.
Alexey Khoroshilov, Ph.D., Head of ISP RAS System Software Security Research Center.
Yury Markin, Ph.D., Head of Digital Watermarking Team (ISP RAS), Associate Professor of the Department of System Programming (MIPT).

Organizers & Partners

The conference is held:

Under the auspices of the UNESCO International Decade of Sciences for Sustainable Development (2024–2033).

As part of Agreement No. 075-15-2022-294 with the Ministry of Science and Higher Education of the Russian Federation, dated April 15, 2022.

Registration

Submission

The papers should be 7 to 15 pages long and formatted according to "Proceedings of ISP RAS" template. 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.

Accepted papers will be published in "Proceedings of ISP RAS" (ISSN PRINT: 2220-6426, ISSN ONLINE: 2079-8156), indexed in Google Scholar and included in Russian Science Citation Index (RSCI) database on the Web of Science platform.

Submissions that violate these guidelines will be rejected.