About the Conference

Ivannikov ISP RAS Open Conference is an annual event organized by the Institute for System Programming of the Russian Academy of Sciences (ISP RAS) to discuss fundamental achievements in computer science and to present its new innovative technologies developed for practical commercial use in various industrial projects.

The main sections:

  • Program analysis, modeling and transformation technologies.
  • Data management and information systems.
  • Open source software for continuum mechanics.
  • Open source systems for digital hardware design.

To participate in the Ivannikov ISP RAS Conference please register. To present your research please submit a paper, that wasn't yet published or submitted for other conferences. Submission Guidelines are here.

We accept original unpublished articles containing the results of research or describing the work in progress. We invite both researchers and practitioners. All accepted papers will be published in the Proceedings of Ivannikov ISP RAS Open Conference

Paticipation 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.

Program analysis, modeling and transformation technologies

The section is devoted to optimization methods in compiler and code generation, static and dynamic program analysis, etc. The topics include:

  • Binary (executable) 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.

Learn More

Data management and information systems

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.

Learn More

Open source software for continuum mechanics

The section is devoted to the use of open source software in solving continuum mechanics problems (OpenFOAM, Salome, ParaView, DAKOTA etc.) and comparison of developed software with commercial programs. The topics include:

  • Turbulent flows modeling.
  • Solving adjoined thermal exchange problems.
  • Applied hydrodynamics, gas dynamics and aerodynamics problems.
  • Development of personal problem solvers and libraries.
  • Scientific visualization and processing of numerical results.
  • Education based on open packages issues.

Learn More

CAD systems in microelectronics

The section is devoted to the development of CAD systems in microelectronics and to the usage of open source in real-life projects. The topics include:

  • Open-source flows for VLSI design.
  • High-level synthesis and system-level design.
  • Register transfer level (RTL) synthesis.
  • Logic synthesis (logic optimization and technology mapping).
  • Physical design (placement and routing).
  • Analog and high-frequency circuit design.
  • Simulation-based and formal verification.
  • Heterogeneous computing systems development.

Linguistic analysis systems

The section is devoted to methods of computer analysis of linguistic material in terms of phonetic, morphological, semantic and syntactic features, as well as the possibilities of comparing languages and dialect data in terms of genetic and areal similarities. Main topics:

  • 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.

Agenda

Download the conference program (In Russian)

Programme Committee

Steering committee

  • Arutyun Avetisyan, Prof., Academician of RAS, director of ISP RAS.
  • Garbuk S.V., Ph.D. in Technical Sciences, scientific projects director (Higher School of Economics).
  • Kalyaev I.A., Doctor of Technical Sciences, Academician of RAS, scientific supervisor (Research Institute of multiprocessor computing systems, SFU).
  • Lyutikov V.S., deputy director of FSTEC Russia.
  • Fedosov E.A., Doctor of Technical Sciences, Academician of RAS, scientific supervisor of GosNIIAS.
  • Ivan Arzhantsev, Dr. Sci., Dean of the Faculty of Computer Science, HSE.
  • Mikhail Pogosyan, Rector of Moscow Aviation Institute (MAI).
  • Andrei Raigorodskii, Dr. Sci., Director of Phystech School of Applied Mathematics and Informatics, MIPT.
  • Vladimir Rubanov, PhD, CTO Software Engineering, Huawei R&D Russia.

Organizing Committee

  • Arutyun Avetisyan, Prof., Academician of RAS, director of ISP RAS.
  • Samovarov Oleg, Ph.D., ISP RAS.
  • Volkov Dmitry, editor-in-chief ("Open Systems"), senior research fellow (Keldysh Institute of Applied Mathematics).
  • Prokhorov Sergei, Prof., chair of IEEE Computer Science Russian chapter.

Programme Committee

Program analysis, modeling and transformation technologies

  • Arutyun Avetisyan, Prof., Academician of RAS, director of ISP RAS.
  • Andrey Belevantsev, Dr. Sci., Head of Program Analysis and Optimization Team (ISP RAS).
  • Andrey Belevantsev, Dr. Sci., Head of Program Analysis and Optimization Team (ISP RAS).
  • Volkonsky V.Yu., Ph.D., JSC "MCST".
  • Gaysaryan Sergey, Ph.D., ISP RAS.
  • Devyanin Petr, scientific advisor, "Astra Linux".
  • Drozdov Alexander, Prof., MIPT.
  • Kozachok Aleksander, Prof., The Federal Security Service of the Russian Federation, Head of the Laboratory for System Programming in Oryol.
  • Makarov Vladimir , Ph.D., NovSU.
  • Segey Yakushkin, Head of Compiler group, Huawei R&D Russia.
  • Dmitry Melnik, ISP RAS.
  • Vartan Padaryan, Ph.D., Head of Binary Reverse Engineering Team (ISP RAS).
  • Petrenko Aleksander, Prof., Head of Software Engineering Department (ISP RAS).
  • Kurmangaleev Shamil, Ph.D., ISP RAS.

Data management and information systems

  • Denis Turdakov, Ph.D., ISP RAS.
  • Natalia Loukachevitch, Dr. Sci., Research Computing Center of Moscow State University.
  • Dmitry Ustalov, Ph.D., Yandex.
  • Kuznetsov Sergey, Dr. Sci., Professor, ISP RAS.
  • Nikita Astrakhantsev, Ph.D., Microsoft Corp.
  • Oleg Samovarov, Ph.D., ISP RAS.
  • Ilya Sochenkov, Ph.D., Federal Research Center of Computer Science and Management (RAS).
  • Tsolak Ghukasyan, Ph.D., RAU.
  • Mikhail Drobyshevsky, Ph.D., ISP RAS.

Open source software for continuum mechanics

  • Kornev N.V., Prof. Dr-Ing. habil., Universitat Rostock.
  • Marchevskiy I.K., Ph.D., Bauman MSTU.
  • Artem Nuriev, PhD, N.I. Lobachevsky Institute of Mathematics and Mechanics.
  • Sigbatullin I.N., Ph.D., ISP RAS; IO RAS.
  • Chashechkin Yu D., Prof., Ishlinsky Institute for Problems in Mechanics RAS.
  • Scheglov G.A., Prof., Bauman MSTU.
  • Strizhak S.V., Ph.D., ISP RAS.
  • Yakobovsky M.V., RAS corresponding member, Prof., Keldysh Institute of Applied Mathematics.
  • Yelizarova T.G., Dr.Sci., Prof., Keldysh Institute of Applied Mathematics.
  • Terekhov K.M., Ph.D., INM RAS.
  • Epikhin Andrey, Ph.D., ISP RAS.

CAD systems in microelectronics

  • Kamkin A.S., Ph.D., leading researcher, ISP RAS.
  • Aryashev S.I., Ph.D., deputy director of NIISI RAS.
  • Gavrilov S.V., Dr. Sci., director of IPPM RAS.
  • Petrov K.A., Ph.D., deputy head of Department, NIISI RAS.
  • Romanov A.Yu., Ph.D., associate professor, HSE MIEM.
  • Solovyov R.A., Dr. Sci., Corresponding Member of RAS, senior researcher, IPPM RAS.
  • Telpukhov D.V., Dr. Sci., deputy director of IPPM RAS.
  • Chupilko M.M., Ph.D., senior researcher, ISP RAS.

Organizer & Partners

Registration


Paticipation 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.

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

Submission


The papers should be 3-7 pages long, formatted using Templates for Conference Proceedings. 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 Ivannikov ISPRAS Open Conference».

Submission is open at EasyChair.

Submissions that violate these guidelines will be rejected.


Important dates

  • Articles submission: November 7, 2022 (23:59, GMT+3).
  • Notification of acceptance: November 20, 2022.
  • Camera ready copies: December 8, 2022.
  • Participants registration: November 24, 2022 (23:59, GMT+3).

Past conferences


2021, 2020, 2019, 2018, 2017, 2016, 2015 (1, 2), 2014, 2013, 2012, 2011, 2010

Contacts and other information

E-mail and phone

You may contact us by e-mail scsec@ispras.ru or phone +7(495) 912-44-25.

Venue address

Moscow, Leninskiy prospect, 32A, the Main building of the RAS (not far from Moscow Metro station "Leninskiy prospect" and Moscow Central Circle station "Ploshchad Gagarina"). The venue may be changed due to the epidemiological situation; the Conference may take place online.

Details

The Conference is held from 9:00 to 18:00 (with coffee breaks and lunch for guests and participants).