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.
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: TBA
- Notification of acceptance: TBA
- Participants registration: TBA
- Camera ready copies: TBA
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
Event Schedule
It is being formed.
Program Committee
- Arutyun Avetisyan, Academician of RAS, ISP RAS Director.
- 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.
- 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
Organizers
The Сonference is supported by the Ministry of Science and Higher Education of Russia, agreement № 075-15-2022-294 of 15.04.2022.
Registration
Contact us via e-mail reg@ispras.ru to get instructions.
Submission
The papers should be 3 to 7 pages long. 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
TBA
Details
The Workshop is held from 9:00 to 18:00.