Ivannikov Memorial Workshop 2026

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: ~~April 10~~ April 15, 2026 (23:59, GMT+3).
Notification of acceptance: April 30, 2026 (23:59, GMT+3).
Participants registration: May 11, 2026 (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

The section is devoted to the modeling, testing, development, and evaluation of autonomous robotic systems and complexes. Additionally, it covers issues related to the development of trusted hardware-software systems that ensure the operation of such complexes (including those with artificial intelligence). The topics include:

Computer vision
Artificial intelligence
Navigation
Control system modeling
Defect detection technologies in autonomous systems
Standardization and certification

Data management and artificial intelligence with two subsections

The section is devoted to data management and data analysis (methods and systems for storing and analyzing large volumes of text, graph, multimedia, scientific and other types of data). The topics include:

Data mining and information extraction.
Mathematical theory and methods of machine learning and artificial intelligence.
Mathematical models of processes and phenomena of the real world.
Computational linguistics, natural language text analysis and understanding.
Complex networks analysis, including social, communication, biological networks, etc.
Signal processing and image analysis.
User-generated content analysis.
Information retrieval, recommender systems.
Ontologies and knowledge bases.
Information systems and technologies.
Scalable algorithms for data analysis.
Data analysis applications.
Data cleaning, heterogeneous data integration, data deduplication.
Key technologies for private and hybrid clouds creation.
High-performance computing and other services in clouds.
Big data ecosystem.
Distributed databases and Data/Web Mining technologies.
Software platforms for internet of things.
Dynamic load balancing in elastic clouds.
Planning of task flow in cloud data processing centers.
Power-saving cloud infrastructures.

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.

SYRCoSE Software Engineering Colloquium

SYRCoSE (Spring/Summer Young Researchers' Colloquium on Software Engineering) is an annual colloquium on software engineering targeted at young researchers (students, postgraduates, young PhDs, etc.). The main goal of the colloquium is to help young specialists to meet each other, to get more information on work of their colleagues, to exchange their experience, and to practice in presenting their results at international conferences and workshops.

Call for Papers

Event Schedule

Program Committee

Avetisyan A.I., Academician of RAS, ISP RAS Director.
Avetisyan K.I., Ph.D., RAU, Armenia.
Babenko M.G., Dr. Sci., Head of the Department of Computational Mathematics and Cybernetics, North-Caucasus Federal University.
Belevantsev A.A., Dr. Sci., Prof., Head of Program Analysis and Optimization Team (ISP RAS).
Beznosikov A.N., Ph.D., Head of Young Researcher Laboratory on Federative learning at ISP RAS, researcher at MIPT.
Bychkov I.V., Academician of RAS, Director of the Institute for System Dynamics and Control Theory of Siberian Branch of RAS (IDSTU SB RAS).
Drobyshevsky M.D., Ph.D., Researcher, ISP RAS.
Filchenkov A.A., Ph.D., Assoc. Prof., ITMO University.
Gasnikov A.V., 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.
Getman A.I., Ph.D., Senior Researcher, Head of the Network Traffic Analysis Laboratory, ISP RAS.
Ignatiev V.N., Ph.D., Senior Researcher, Compiler Technologies Department, ISP RAS.
Khoroshilov A.V., Ph.D., Head of ISP RAS System Software Security Research Center.
Kozachok A.V., Dr. Sci., Academy of the Federal Security Service of Russia, Head of the Systems Programming Laboratory in Orel.
Kurmangaleev S.F., Ph.D., Head of Analysis and Optimization of Autonomous Systems (ISP RAS).
Kurochkin I.I., Ph.D., Senior Researcher (Institute of Information Transmission Problems and the Federal Research Center for Control Systems of the RAS), Associate Prof. at the Department of Engineering Cybernetics at MISiS.
Markin Y.V., Ph.D., Head of Digital Watermarking Team (ISP RAS), Associate Prof. of the Department of System Programming (MIPT).
Mikhailov A.A., Ph.D., Senior Researcher (Institute of System Engineering and Control Sciences of the SB RAS).
Normanskaya Yu.V., Dr. Ph.D., Leading Researcher (Institute of Linguistics of the RAS).
Lukashevich N.V., Dr. Sci., Research Computing Center of Moscow State University.
Padaryan V.A., Ph.D., Head of Binary Reverse Engineering Team (ISP RAS).
Petrenko A.K., Dr. Sci., Prof., Head of Software Engineering Department (ISP RAS).
Prokhorov S.P., Ph.D., chair of IEEE Computer Science Russian chapter.
Samovarov O.I., Ph.D., Scientific Secretary (ISP RAS).
Sargsyan S.S., Dr. Sci., Head of the System Programming Laboratory at Russian-Armenian University (Armenia).
Sochenkov I.V. , Ph.D., Leading Researcher (ISP RAS, Institute of Information Transmission Problems of the RAS, Federal Research Center for Information Systems of the RAS).
Sorokin K.S., Head of the Artificial Intelligence in Software Engineering Group.
Tchernykh A.N., Dr. Sci., Prof., CICESE Research Center, Mexico.
Turdakov D.Y., Ph.D., Head of ISP RAS Trusted AI Research Center.
Vokhmintsev A.V., Dr. Sci., Prof., Chelyabinsk State University.
Zaikin A.A., Prof. of Systems Medicine in University College London (Great Britain).

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.