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.
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).
Registration
Contact us via e-mail reg@ispras.ru to get instructions.
Submission
The papers should be 3 to 7 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.
Contacts
E-mail and phone
You may contact us by e-mail
Venue address
Russia, Irkutsk st. Baikalskaya, 279 ("Baikal Business Center")
Details
The Workshop is held from 9:00 to 18:00.