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 22, 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).

Online broadcast

Plenary session: "AI Technologies: From Fundamental Research to Applications"

Session: "Data management and artificial intelligence"

Session: "Program analysis, modeling, and optimization"

Session: "Development of intelligent autonomous systems"

About our events (ISP RAS Open Conference 2024)

Event Schedule

June 26th, 2025

The Linguistic Analysis Systems section will be held in Moscow on June 30.

8:30 - 9:30

Registration, coffee/tea (Lobby)

9:30 - 10:30

Plenary session: «AI Technologies: From Fundamental Research to Applications» (Grand Hall)

10:30 - 11:00

Coffee/tea (Lobby)

13:20 - 14:20

Lunch (Lobby)

16:20 - 16:40

Coffee/tea (Lobby)

20:00 - 20:30

Reception (Lobby)

20:30 - 23:00

Banquet (Grand Hall and Red Hall)


Data management and artificial intelligence (Grand Hall)

11:00 - 11:20

Maria Shchurik1, Daniil Kopylov2,1

1 Irkutsk State University, 2 Institute for System Dynamics and Control Theory SB RAS

Vector representations of fonts: an additional feature for understanding documents

11:20 - 11:40

Daniil Kopylov1,2, Andrey Mikhailov1,3, Roman Trifonov1,2

1 Institute for System Dynamics and Control Theory SB RAS, 2 Irkutsk State University, 3 ISP RAS

Segmentation of documents based on graph neural networks: from strings to words

11:40 - 12:00

Ilya Okhotin1, Nikita Dorodnyh1

1 Institute for System Dynamics and Control Theory SB RAS

Table header recognition based on large language models

12:00 - 12:20

Andrey Perminov1, Andrey Kovalenko1, Denis Turdakov1,2

1 ISP RAS, 2 Moscow State University

Method for training perceptron on tabular data with missing values

12:20 - 12:40

Levon Avetisyan1, Shahane Tigranyan1, Arman Martirosyan1, Aram Avetisyan2, Sergey Skorik2

1 Russian-Armenian University, 2 ISP RAS

Bimodal approach for emotion recognition based on audio and text for the Russian language

12:40 - 13:00

David Sargsyan1, Nikolas Khachaturov1, Karen Avetisyan1

1 Russian-Armenian University

Research and development of text-to-speech generation models for Armenian language

13:00 - 13:20

Aleksandеr Akimenkov1, Yury Markin1, Aleksey Yakushev1, Dmitry Obydenkov1, Stanislav Fomin1, Alexander Kozachok2, Sergey Kozlov2

1 ISP RAS, 2 Academy of Federal Guard Service

Text-To-Image generative models quality assessment metrics

13:20 - 14:20

Lunch (Lobby)

14:20 - 14:40

Anna Chistyakova1,2, Mikhail Pautov3,1

1 ISP RAS, 2 Moscow State University, 3 AIRI

ExpressPrint: An Approach to Watermarking of Visual Foundation Models

14:40 - 15:00

Aleksey Yakushev1, Yury Markin1, Aleksandеr Akimenkov1, Dmitry Obydenkov1, Stanislav Fomin1, Alexander Kozachok2, Dmitry Gromey2

1 ISP RAS, 2 Academy of Federal Guard Service

Watermarking of AI-generated images

15:00 - 15:20

Rustam Uzdenov1,2, Andrey Perminov1

1 ISP RAS, 2Bauman University

Shazam Algorithm for Partial Video Copy Detection

15:20 - 15:40

Artemy Gladkov1, Leonid Bystrov1, Egor Kuzmin1

1 Yaroslav State University

Application of YOLO Family Neural Networks for Useful Signals Detection on Eddy Current Rail Defectograms

15:40 - 16:00

Anna Timakova1, Vladislav Ananev2, Egor Zemnuhov2, Alexey Baranov2, Vadim Alfimov2, Владимир Макаров2

1 Sechenov University, 2 Yaroslav the Wise Novgorod State University

Trophic patterns in lung cancer: insights from computational pathology

16:00 - 16:20

Alexey Fayzullin1

1 Sechenov University

Evolution of morphological diagnostics: data-driven approach to classification and grading

16:20 - 16:40

Coffee/tea (Lobby)

16:40 - 17:00

Lazar Radosavljević1, Milica Simić1, Aleksandar Joksimović1, Tamara Naumović1, Marijana Despotović-Zrakić1

1 University of Belgrade

Enhancing e-government services through chatbot development using Azure OpenAI

17:00 - 17:20

Dmitry Rodionov1, Maxim Deryugin1, Denis Turdakov2,1

1 ISP RAS, 2 Moscow State University

Application of federated databases principles to access external indexing structures

17:20 - 17:40

Nikita Dorodnyh1, Alexander Yurin1

1 Institute for System Dynamics and Control Theory SB RAS

Tabular Dataset RF-200 and Performance Testing of Fact Extraction from Russian-Language Tables

17:40 - 18:00

Artur Sosnovikov1,2, Denis Turdakov1,3, Anton Zemerov2

1 ISP RAS, 2 Tochka Bank, 3 Moscow State University

Iterative Weak Supervision with LLM-Guided Labeling Function Refinement

18:00 - 18:20

Igor Buyanov1, Darya Yaskova2, Danil Serenko1, Danil Shkereda1, Andrey Yaskov3, Ilya Sochenkov1

1 FRC CSC RAS, 2 MTS AI, 3 Yandex

The methodology of constructing the large-scale dataset for detecting presuicidal and antisuicidal signals in social media texts

18:20 - 18:40

Maxim Popov1, Ivan Stepanov1, Alexander Getman1,2,3,4

1 ISP RAS, 2 MIPT, 3 Moscow State University, 4 HSE

Research of the effectiveness of MPQUIC protocol schedulers depending on the Сongestion Сontrol Algorithm


Program analysis, modeling, and optimization (Red Hall)

11:00 - 11:20

Denis Zavedeev1, Roman Zhuykov1, Leonid Skvortsov1, Michael Pantilimonov1

1 ISP RAS

Fast Calls and In-Place Expansion: A Hybrid Strategy for VM Intrinsics

11:20 - 11:40

Michael Pantilimonov1, Ruben Buchatskiy1, Denis Zavedeev1

1 ISP RAS

Beyond LLVM: Evaluating Fast Code Generation Alternatives for Query Compilation in PostgreSQL

11:40 - 12:00

Vitaly Afanasiev1, Alexey Borodin1, Evgeny Velesevich1, Boris Orlov1,2

1 ISP RAS, 2 Moscow State University

Source Code Annotation for Static Analysis

12:00 - 12:20

Andrey Vyazovtsev1,2, Yan Churkin1, Ruben Buchatskiy1

1 ISP RAS, 2 MIPT

Analysis of finite state machines for the SystemVerilog hardware description language

12:20 - 12:40

Artemiy Galustov1, Konstantin Vihlancev1,2, Alexey Borodin1, Andrey Belevantsev1,3

1 ISP RAS, 2 MIPT, 3 Moscow State University

Devirtualization-based Python static analysis

12:40 - 13:00

Danila Panov1, Nikita Shimchik1, Dmitry Chibisov1, Valery Ignatiev1,2, Andrey Belevantsev1,2

1 ISP RAS, 2 Moscow State University

Increasing precision of static code analysis using large language models

13:00 - 13:20

Ivan Cheremisenov1,2, Alexey Borodin1, Alexander Volkov1, Mikhail Velikanov1

1 ISP RAS, 2 Moscow State University

An approach to tainted analysis in the Svace static analyzer

13:20 - 14:20

Lunch (Lobby)

14:20 - 14:40

Efim Grinkrug1

1 ISP RAS

Yet Another Kind of JavaBeans: Composed Types from Aggregated Instances

14:40 - 15:00

Dmitry Poletaev1

1 ISP RAS

Hardware Acceleration of QEMU MMU for aarch64 on x86-64 full system emulation

15:00 - 15:20

Vladislav Stepanov1, Pavel Dovgalyuk1, Natalia Fursova1

1 ISP RAS

Virtual Machine Introspection Based on System Calls and Kernel Data Structures

15:20 - 15:40

Vlada Logunova1

1 ISP RAS

Dynamic Symbolic Execution of RISCV64 Binary Code

15:40 - 16:00

Darya Parygina1,2, Timofey Mezhuev1,2, Daniil Kuts1

1 ISP RAS, 2 Moscow State University

Hybrid Approach to Directed Fuzzing

16:00 - 16:20

Shake Hakobyan1,2, Garnik Khroyan1,2, Hripsime Hovhannisyan1,2, Hayk Aslanyan1,2

1 CAST, 2 Russian-Armenian University

Loop Analysis in Binary Code

16:20 - 16:40

Coffee/tea (Lobby)

16:40 - 17:00

Petr Devyanin1, Sergey Zhiliakov1, Alexander Smirnov1, Alexander Petrenko2

1 RusBITech-Astra, 2 ISP RAS

Testing the Astra Linux OS security subsystem based on a formalized description of the access control model

17:00 - 17:20

Aleksei Karnov1, Eugene Kornykhin1,2

1 ISP RAS, 2 Moscow State University

Generating Event-B executable model in Python

17:20 - 17:40

Egor Elchinov1

1 ISP RAS

Adapting ThreadSanitizer Algorithm to Detect Data Races in RTOS Kernels

17:40 - 18:00

Dmitry Duzhinskii1, Dmitry Boulytchev1

1 Saint Petersburg State University

On a Relation Code Model Description

18:00 - 18:20

Vladislav Egorov1, Alexander Getman1,2,3,4, Roman Ponomarenko1

1 ISP RAS, 2 MIPT, 3 Moscow State University, 4 HSE

Declarative Language for Selection and Filtering of Network Traffic Data

18:20 - 18:40

Vadim Karcev1, Valery Ignatiev1,2

1 ISP RAS, 2 Moscow State University

Static analysis of Visual Basic .NET


Development of intelligent autonomous systems (Meeting Room No. 3)

11:00 - 11:20

Peter Ukhov1, Maria Bulakina1, Sergey Krylov1

1 Moscow Aviation Institute

Comparison of classical and machine learning algorithms for feature point extraction in rugged terrain images for application in SLAM algorithms

11:20 - 11:40

Darya Gordeeva1, Vasiliy Egorov1

1 Moscow Aviation Institute

System for positioning an object based on its sound emission

11:40 - 12:00

Dmitry Kuruliuk1, Maksim Kudrov1, Ivan Martynov1, Mark Ovsyannikov1

1 MIPT

Approaches for setting and solving scientific problems related to the creation of promising technologies for unmanned aircraft systems

12:00 - 12:20

Maksim Stolyarov1, Daniil Kuzub1, Denis Strazhkov1

1 ISP RAS

Robot training in a physical simulator: Gazebo as a development and testing platform

12:20 - 12:40

Artur Akopian1,2, Shamil Kurmangaleev1, Vladlen Gorchakov1, Anton Zenkin1, Mariia Chibisova1

1 ISP RAS, 2 Moscow State University

An Alternative Method for Analyzing Embedded Software of Unmanned Systems Without Sanitizers

12:40 - 13:00

Vardan Sahakyan1, Vahagn Melkonyan1, Sevak Sargsyan1

1 Russian-Armenian University

Real-Time Target Localization Using Gimbaled Laser on UAVs

13:00 - 13:20

Anna Ilina1,2, Shamil Kurmangaleev1, Polina Sankina1, Vitaliy Akolzin1

1 ISP RAS, 2 Moscow State University

Extracting semantic kernels from software for unmanned systems

13:20 - 14:20

Lunch (Lobby)

14:20 - 14:40

Vahagn Melkonyan1, Armen Sardaryan1, Гоар Хачатрян1

1 Russian-Armenian University

Object Re-detection in Aerial Imagery Captured by UAVs

14:40 - 15:00

Maksim Mishechkin1, Shamil Kurmangaleev1, Anna Savchuk1, Viktor Tiazhelkov1, Anna Fedorova1

1 ISP RAS

A Novel Approach to In-depth Investigation of Data Parsing Components in Unmanned Systems Based on Hybrid Static-Dynamic Analysis Methods

15:00 - 15:20

Lilia Kirakosyan1,2, Mikael Navoyan1,2, Armen Sardaryan1,2, Sevak Sargsyan1,2

1 CAST, 2 Russian-Armenian University

Real-time Radio Signal Classification Based on Spectrograms

15:20 - 15:40

Gleb Korotkin1, Ivan Efremov1, Fedor Niskov1, Shamil Kurmangaleev1

1 ISP RAS

Study of Reliability and Error Detection in Microprocessors Used in Unmanned Vehicles

15:40 - 16:00

Vitaliy Akolzin1, Elizaveta Cheperegina1, Shamil Kurmangaleev1, Maksim Mishechkin1

1 ISP RAS

Static-dynamic analysis of ArduPilot

16:00 - 16:20

Maksim Stolyarov1, Aleksey Abakumov1, Sergey Khimach1

1 ISP RAS

Modeling the dynamics of robotic systems in Gazebo and practical implementation

16:20 - 16:40

Coffee/tea (Lobby)

Program Committee

  1. Arutyun Avetisyan, Academician of RAS, ISP RAS Director.
  2. Igor Bychkov, Academician of RAS, Director of the Institute for System Dynamics and Control Theory of Siberian Branch of RAS (IDSTU SB RAS).
  3. Sergey Prokhorov, Ph.D., chair of IEEE Computer Science Russian chapter.
  4. Andrey Tchernykh, Dr. Sci., Professor, CICESE Research Center, Mexico.
  5. Marijana Despotović-Zrakić, Professor at University of Belgrade (Serbia), Chief of Laboratory for Simulation.
  6. Zorica Bogdanović, Professor at University of Belgrade (Serbia), Chief of the Center for IoT.
  7. Zoran Ognjanović, research professor, director of the Mathematical Institute SANU (Serbia).
  8. Alexey Zaikin, Professor of Systems Medicine in University College London (Great Britain).
  9. 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.
  10. Alexander Beznosikov, Ph.D., Head of Young Researcher Laboratory on Federative learning at ISP RAS, researcher at MIPT.
  11. Sevak Sargsyan, Dr. Sci., Head of the System Programming Laboratory at Russian-Armenian University (Armenia).
  12. Aleksander Petrenko, Prof., Head of Software Engineering Department (ISP RAS).
  13. Andrey Belevantsev, Dr. Sci., Head of Program Analysis and Optimization Team (ISP RAS).
  14. Shamil Kurmangaleev, Ph.D., Head of Analysis and Optimization of Autonomous Systems (ISP RAS).
  15. Vartan Padaryan, Ph.D., Head of Binary Reverse Engineering Team (ISP RAS).
  16. Oleg Samovarov, Ph.D., Scientific Secretary (ISP RAS).
  17. Denis Turdakov, Ph.D., Head of ISP RAS Trusted AI Research Center.
  18. Alexey Khoroshilov, Ph.D., Head of ISP RAS System Software Security Research Center.
  19. 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


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

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.

Contacts

E-mail and phone

You may contact us by e-mail scsec@ispras.ru.

Venue address

Russia, Irkutsk st. Baikalskaya, 279 ("Baikal Business Center")

Details

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