Dear colleagues!

We invite you to participate in the Ivannikov ISP RAS Open Conference, which will take place on December 5-6, 2019 in the main building of the Russian Academy of Sciences, Moscow, Russia: Moscow, Leninskiy prospekt, 32A.

The Open Conference is organized with support of:

  • IEEE;
  • IEEE Computer Society;
  • Russian Academy of Sciences (RAS);
  • Advanced Research Foundation (ARF);
  • Federal Service for Technical and Export Control (FSTEC Russia);
  • Commercial partners of ISP RAS (Samsung, Hewlett Packard Enterprise, DELL, NVIDIA and others).

The main sections:

  • Program analysis, modeling and transformation technologies.
  • Management of Data and Information Systems.
  • Open source software for continuum mechanics.

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.

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, that is indexed in Web of Science and Scopus. The proceedings will be published online in IEEE Xplore digital library.

Submission Guidelines are here.

Fees: free of charge.

Deadlines

  • Articles submission: October 2, 2019 October 13, 2019 (23:59, GMT+3).
  • Notification of acceptance: October 25, 2019.
  • Camera ready copies: November 18, 2019.
  • Participants registration: November 23, 2019.

About the Conference

The 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 goal is to support the innovation ecosystem, created in ISP RAS for successful development of IT-technologies and their use in education, science and industry.

Every year the Conference unites acknowledged researchers from scientific and educational organizations and representatives of leading IT and other companies.

Thursday, December 5th 2019

8:30 - 9:30

Registration. Coffee (Green Hall - Lobby)

9:30 - 11:30

Main track (Blue Hall)

Discussion: RAS leaders, members of Russian government, RAS institutes, universities, ISP RAS scientific and business partners.

"ISP RAS: 25 years of development and growth"

11:30 - 13:30

Exhibition of technologies and Lunch (Green Hall - Lobby)


Management of Data and Information Systems (Beige Hall)

13:30 - 14:00

Assaf Schuster1

1 Science Department at the Technion, Israel Institute of Technology, Israel

"Challenges in applying Machine Learning for Healthcare"

Подробнее
14:00 - 14:30

Karan Bhatia1, Leonid Kuligin2

1Head of Global Public Policy and Government Relations, New-York, USA, 2 Machine Learning Engineer, Google, Google Cloud

"Accelerating Scientific Advances with Cloud Infrastructures"

Learn more
14:30 - 15:00

Peter Pleshachkov1

1 Core Software Engineer (Distributed Systems) at Hazelcast

"Hazelcast: distributed data structures to scale your app out"

15:00 - 15:20

Andrey Demichev1, Alexander Kryukov1, Nikolai Prikhod'ko1

1 SINP MSU

"Metadata driven data management in distributed computing environments with partial or complete lack of trust between user groups"

15:20 - 15:40

Anton Teslyuk1, Sergey Bobkov1, Viacheslav Ilyin1, Vasily Velikhov1

1 NRC "Kurchatov Institute"

"Kubernetes container orchestration as a framework for flexible and effective scientific data analysis pipelines"

15:40 - 16:00

Valentina Litovchenko1, Evgeniy Ivashko2

1 Petrozavodsk State University, 2 Institute of Applied Mathematical Research, KarRC RAS

"Dynamic forecasting of the completion time of a computational experiment in a Desktop Grid"

16:00 - 16:20

Coffee break

16:20 - 16:40

Viktor Kuchukov1, Mikhail Babenko1

1 NCFU

"The application of modular arithmetic for matrix calculations"

16:40 - 17:00

Andrey Skobtsov1, Anna Kalenkova1

1 HSE

"Efficient Algorithms for Finding Differences Between Process Models"

17:00 - 17:20

Maxim Ryndin1, Denis Turdakov1

1 ISP RAS

"Domain adaptation by proactive labeling"


Open source software for continuum mechanics (Green Hall)

13:30 - 14:00

I.B. Petrov1, N.I. Khokhlov2

1 Corresponding member of RAS, Doctor of Science, Head of Chair of Informatics, MIPT, 2 Ph.D., Deputy Director of Applied Geophysics Lab, MIPT

"Application of the method of characteristics for solving the problems of the propagation of dynamic wave disturbances using high-performance computing systems"

14:00 - 14:30

Tomáš Bodnár1

1 Czech Technical University in Prague and Institute of Mathematics.

"Far-Field Boundary Conditions for Stably Stratified Flows"

14:30 - 14:50

Philippe Fraunié1

1 Professor at Toulon University, research director at Mediterranean Institute of Oceanography (M.I.O) Université Toulon

"Identification of turbulent model parameters in ocean surface models"

14:50 - 15:10

Vladimir Sudakov1, Vladimir Osipov1, Yury Nechaev1, Alexander Vasilyev1

1 Keldysh Institute of Applied Mathematics, RAS

"The study of neurodynamic systems of continuous adaptive control"

15:10 - 15:30

Mikhail Zaitsev1

1 IBRAE RAS

"Numerical studies of unsteady motion of continuous flows"

15:30 - 15:50

Natalia Tuchkova1, Konstantin Belyaev1, Gury Mickailov1

1 FITS IU RAS, 2 Institute of Oceanology P.P. Shirshova

"Numerical Experiments with the coupled ocean-earth-atmosphere circulation model and analysis of decadal variability of its main physical characteristics"

15:50 - 16:10

Coffee break

16:10 - 16:30

Konstantin Belyaev1, Andrey Kuleshov2, Ilya Smirnov3

1 Institute of Oceanology P.P. Shirshova, 2 Keldysh Institute of Applied Mathematics, RAS, 3 MSU, Faculty of Computational Mathematics and Cybernetics

"Data assimilation method for the ocean circulation model NEMO and its application for the calculation of ocean characteristics in the Arctic Zone of Russia"

16:30 - 16:50

Konstantin Koshelev1, Sergei Strijhak1

1 ISP RAS

"Simulation of particle dynamics in planetary boundary layer and in a model wind farm"

16:50 - 17:10

Aleksandr Ivanov1, Sergei Strijhak2

1 Keldysh Institute of Applied Mathematics, RAS, 2 ISP RAS

"Modeling weather conditions in the port area and in the coastal zone of Tiksi Bay"


Program analysis, modeling and transformation technologies (Blue Hall)

13:30 - 14:30

Nikolaj Bjørner1

1 Principal Researcher at Microsoft Research, Redmond, USA

"From North Stars to Clever Insights - On using grand challenges to drive new techniques in automated theorem proving"

Learn more
14:30 - 15:00

Youil Kim1

1 Samsung Research

"Using Svace static analysis tool in Samsung environments"

15:00 - 15:25

Aleksei Nedoria1

1 Languages and Frameworks Head, Huawei Russian Research Institute, St. Petersburg

"Language Design: OOP or not OOP or better OOP"

15:25 - 15:50

Pavel Kosov1, Sergey Yakushkin2

1 Head Engineer, Huawei R&D Center, 2 TechLead, Huawei R&D Center

"Profile guided optimizations for mobile devices in LLVM"

15:50 - 16:10

Coffee break

16:10 - 16:35

Nikita Malyshev1, Irina Dudina1, Daniil Kutz1, Alexander Novikov1, Sergey Vartanov1

1 ISP RAS

"SMT Solvers in Application to Static and Dynamic Symbolic Execution: a Case Study"

16:35 - 17:00

Yauhen Klimiankou1

1 Belarusian State University of Informatics and Radioelectronics

"Constexpr: a Great Good but Wrong Idea"

17:00 - 17:25

Gleb Morgachev1, Valery Ignatyev1, Andrey Belevantsev1

1 ISP RAS

"Detection of Variable Misuse Using Static Analysis Combined with Machine Learning"

17:25 - 17:50

Egor Namakonov1, Anton Podkopaev1

1 SPbSU

"Compiling OCaml memory model for Power"


December 5th 2019, 11:30-13:30, Exhibition of technologies (Green Hall - Lobby)

1. Anxiety

Anxiety is a framework for finding errors and potential vulnerabilities during software development, QA, and deployment phases. It is based on dynamic symbolic execution, which allows generating input data for the issues found without source code or debugging information present in the binary. Anxiety can be used for adhering to the GOST R 56939-2016 requirements.

2. AstraVer Toolset

AstraVer Toolset is a deductive verification system for key software components. It allows developing and verifying security policy models as well as proving the correctness of software modules written in the C programming language. AstraVer is essential for ensuring the required trust levels from ADV_SPM and ADV_FSP assurance families as defined in the ISO 15408 standard.

3. BINSIDE

BINSIDE is a static program analysis tool for finding defects in binary code. It is useful when checking programs without source code, such as closed source 3rd party libraries, as well as assisting with required static information to dynamic analysis tools.

4. Constructivity 4D

Constructivity 4D is a technology for creating innovative software services that is capable of processing highly dynamic scenes and vast arrays of spatial and temporal data. It performs visual analysis of millions of objects with individual geometry and dynamic behavior. Constructivity is deployed within the Synchro system that is used for 4D modeling of extremely large construction sites.

5. DIGITEF

DIGITEF is a software system based on OpenFOAM and other open source tools, as well as unique libraries developed at ISP RAS. DigiTEF solves various application problems of gas dynamics, aerodynamics, hydrodynamics, and acoustics. It is tailored for creating and working with highly sophisticated digital models of industrial devices. DigiTEF is included in the Unified Register of Russian Programs (№ 5377).

6. TRAWL

TRAWL is a unique production level tool for analyzing various binary code features that supports multiple target processor architectures. It does not require debug information or source code. Trawl can be used to analyze all kinds of software ranging from boot loaders to OS kernels and user level applications. It is included in the Unified Register of Russian Programs (№ 5323).

7. ISP FUZZER

ISP FUZZER is a tool for performing dynamic program analysis based on the fuzzing approach. It can detect errors, backdoors, and vulnerabilities either with or without access to the program’s source code. ISP Fuzzer allows organizing a development process that adheres to the GOST R 56939-2016 requirements.

8. Klever

Klever is a framework for checking models extracted from the source code of large software systems developed in the C programming language. Klever provides means for automatic checking of a variety of security, robustness, and performance requirements.

9. Lingvodoc

Lingvodoc is a system intended for collaborative multi-user documentation of endangered languages, creating multi-layered dictionaries and performing scientific work with the received sound and text data. It is a result of a joint project with the Institute of Linguistics of the Russian Academy of Sciences and Tomsk State University. Lingvodoc is under active development since 2012 and can be found on lingvodoc.ispras.ru.

10. MASIW

MASIW is a toolset for developing highly reliable hardware and software systems for avionics, medicine, and other safety critical areas. It is designed for engineers creating airborne hardware– software systems that are developed using the integrated modular avionics (IMA) approach. MASIW can be easily adapted for other application areas.

11. MicroTESK

MicroTESK is an industry-targeted framework for generating test programs in the assembly language for functional verification of microprocessors. It includes the modeling framework (building microprocessors models based on formal specifications) and the generation framework (building test programs based on test templates).

12. Protosphere

Protosphere is a system of deep packet inspection (DPI). It is the part of intrusion and information leak protection systems. Protosphere detects inconsistencies between a protocol specification and a specific implementation. It allows to add support quickly for new protocols (either open or closed) due to the flexibility of its internal representation.

13. Retrascope

Retrascope is a functional verification toolkit for digital hardware designs. Retrascope provides automated engines for code analysis, formal model extraction and functional test generation. The toolkit accepts as inputs digital hardware module descriptions, written on the synthesizable subset of Verilog and VHDL languages, as well as their behavioral specifications.

14. SciNoon

SciNoon is a system for collaborative exploration of scientific papers. This software is essential for a group of researchers to dive quickly into the new area of knowledge and to find answers on their questions, following up with tracking new research on the topic of interest with highly customizable alerts.

15. SVACE

SVACE is an essential tool of the secure software development life cycle, the main static analyzer that is used in Samsung Corp. It detects more than 50 critical error types as well as hundreds of coding issues. Svace supports C, C++, C#, and Java. Support for Kotlin and Go programming languages is in progress and is planned for Q4 of 2020. Svace is included in the Unified Register of Russian Programs (№ 4047).

16. Texterra

Texterra is a scalable platform for extracting semantics from text. It contains the complete set of technologies for creating multifunctional applications for text analysis. Texterra bases its semantic analysis approach in the concept identification. It is included in the Unified Register of Russian Programs (№ 4048).

17. ISP Obfuscator

ISP Obfuscator is a set of technologies to prevent mass exploitation of vulnerabilities resulting from errors or backdoors. When a hacker is capable of attacking one of the devices that has a certain software installed, the rest will remain protected by changes made by the tool to the software code.

18. Solutions for Creating Service-oriented Data Centers

The software and performing complex, resource-intensive calculations using both containers and virtual machines. They are designed especially for the deployment of cloud environments.

19. Talisman

Talisman is a framework for data analysis that is designed for retrieving people, community, and company data. It utilizes modern approaches for machine learning, computer linguistics, complex network analysis and big data processing. Talisman is capable of finding relations and their patterns by analyzing large graphs consisting of hundreds of millions of nodes.

20. ISP RAS Foundation Platform Based on QEMU

ISP RAS Foundation Platform for creating program analysis systems is built on top of open source QEMU emulator. The software is essential for organizing multi and cross platform development. It also supports reverse debugging and introspection features, as well as the full system emulation mode for debugging low-level software.

21. Natalya Fursova and Pavel Dovgalyuk (NovSU)

Method for automatic recognition and classification of 12-lead ECG.

22. Evgeny Karpulevich (ISP RAS)

Early prediction of retinal organoid differentiation using neural networks.

Friday, December 6th 2019

9:30 - 10:00

Registration. Coffee (Green Hall - Lobby)

11:20 - 13:20

Poster Session: "System programming and CFD problems" (Green Hall - Lobby)


Workshop: Gathering and processing LHC metadata (Beige Hall)

10:00 - 10:20

Alexei Klimentov1, Sergey Kuleshov2

1 Brookhaven National Laboratory, Upton, USA, 2 Professor, Universidad Andrés Bello, Santiago, Chile

"LHC Data Processing and Data Management Systems at Exabyte Scale"

10:20 - 10:50

Tatiana Korchuganova1

1 UNAB, ISP RAS

"Monitoring of Distributed Data Production and Analysis for High Energy Physics Experiments"

10:50 - 11:20

Alexandr Alekseev1

1 UNAB, ISP RAS

"Analytical Platform for Distributed Data Production and Analysis in ATLAS Experiment at LHC"

11:20 - 11:40

Coffee break, poster session


Management of Data and Information Systems (Beige Hall)

11:40 - 12:00

Denis Aivazov1, Mikhail Drobyshevskiy1, Denis Turdakov1, Alexander Yatskov1, Maksim Varlamov1, Danil Shayhelislamov1

1 ISP RAS

"Collecting Influencers: a Comparative Study of Online Network Crawlers"

12:00 - 12:20

Aram Avetisyan1, Mikhail Drobyshevskiy1, Denis Turdakov1

1 ISP RAS

"Predicting the Popularity of News Stories in the Early Stages of Dissemination"

12:20 - 12:40

Anastasiia Ryzhova1, Ilya Sochenkov1

1 Skolkovo Institute of Science and Technology

"Deep learning for customs classification of goods based on their textual descriptions analysis"

12:40 - 13:00

Aleksandr Lazarenko1, Sergey Avdoshin1, Natalia Chichileva2, Pavel Naumov3

1 HSE, 2 Department of Product Innovation and Development of IB Group LLC, 3 BMSTU

"Use cases of AI usage in cybersecurity"

13:00 - 14:00

Lunch

14:00 - 14:20

Sergey Vychegzhanin1, Evgeny Kotelnikov1

1 Vyatka State University

"Comparison of Named Entity Recognition Tools Applied to News Articles"

14:20 - 14:40

Denis Zubarev1, Ilya Sochenkov1

1 Federal Research Center "Computer Science and Control" of RAS

"Cross-language document retrieval methods"

14:40 - 15:00

Ansis Ataols Berzins1

1 University of Latvia

"Using i-vectors for automated detection of language similarity"

15:00 - 15:20

Mikhail Drobyshevskiy1

1 ISP RAS

"Methods and tools for modeling and generating complex networks with specific graph properties"

15:20 - 15:40

Olga Ataeva1

1 Dorodnicyn Computing Centre, RAS

"Developing a semantic digital library serving as a basis for scientific knowledge space construction"

15:40 - 16:00

Coffee break


Open source software in continuum mechanics problems solving (Green Hall)

10:00 - 10:40

Bernhard Peters1

1 Prof. Dr.-Ing., The University of Luxembourg

"Numerical Approaches to Particle-laden Multi-phase Flows for Industrial Applications"

10:40 - 11:20

Sébastien Gadal1

1 Professor, Aix-Marseille University

"The key-issues of the Geographic Knowledge in Remote Sensing Image Processing Artificial Intelligence"

11:20 - 11:40

Coffee break, poster session

11:40 - 12:00

Timofey Mukha1

1 Chalmers University of Technology, Gothenburg, Sweden

"The effect of numerical dissipation on the predictive accuracy of wall-modelled large-eddy simulation"

12:00 - 12:20

Ekaterina Kalaushina1, Alexander Smirnovsky1, Dmitriy Brovin2, Elizaveta Kolesnik1

1 SPbPU, 2 STR Group, Inc.

"Large Eddy Simulation of turbulent circular jet using OpenFOAM"

12:20 - 12:40

Matvey Kraposhin1

1 ISP RAS

"Open Source Software as a construction set for complex digital models of technical systems"

12:40 - 13:00

Victoria Korchagova1, Matvey Kraposhin1, Daniil Ryazanov1, Sergei Strijhak1, Kirill Vatutin1, Valeriia Melnikova1, Artem Konovalchik1, Oleg Plaksenko1, Maxim Konopelkin1, Maxim Kudrov1, Ivan Martynov1

1 ISP RAS

"Automation tool for aerodynamics and strength numerical analysis of radar structures based on open source programs"

13:00 - 14:00

Lunch

14:00 - 14:20

Kirill Ovchinnikov1

1 SPbGMTU

"Analysis of total resistance for different ship speeds"

14:20 - 14:40

Artem Nuriev1, Olga Zaitseva1, Olga Zakharova1

1 Kazan Federal University

"A numerical study of vibration-driven mechanism of propulsion in viscous fluid"

14:40 - 15:00

Andrey Epikhin1, Daniil Ryazanov1, Victoria Korchagova1, Maxim Shatskiy1, Matvey Kraposhin1

1 ISP RAS

"The usage of open source software for solving computational aeroacoustics problems"

15:00 - 15:20

Victoria Korchagova1, Sofia Sautkina 2, Ivan Fufaev3

1 ISP RAS, 2 Bauman Moscow State Technical University, 3 Keldysh Institute of Applied Mathematics, RAS

"Review of open source software for modeling gas flows by the Galerkin discontinuous method"

15:20 - 15:40

Kseniia Kuzmina1, Ilia Marchevsky1, Ryatina Evgeniya1

1 ISP RAS

"The Nvidia CUDA technology capabilities usage in the simulation of two-dimensional flows by vortex methods"

15:40 - 16:00

Coffee break

16:00 - 16:20

Tufan Arslan1, Murat Ozbulut2

1 Norwegian University of Science and Technology, Trondheim, Norway

"GPU Simulation of Sloshing in a Vibrating Water Tank with Smooth Particle Hydrodynamics (SPH) Method"

16:20 - 16:40

Alexey Gurin1, Alexey Baykin2

1 Institute of Hydrodynamics M.A. Lavrentieva SB RAS

"FEMEngine: finite element method C++ code based on functional and template metaprogramming"

16:40 - 17:00

Andrei Popov1, Victoria Bondarchuk1, Nikolai Tverdokhleb1

1 Bauman Moscow State Technical University

"Coupled thermohydraulic problems simulation by particle finite element method PFEM-2 by means of free software"

17:00 - 17:20

Evgeny Mikhailov1, Ilias Sibgatullin2

1 MSU, 2 ISP RAS

"Research of influence of regular magnetic fields on flows in outer rings of galaxies"


A tutorial: Programming Constraint Services with Z3 (Blue hall)

10:00 - 11:20

Nikolaj Bjørner1

1 Principal Researcher at Microsoft Research, Redmond, USA

Many program verification, analysis, testing and synthesis queries reduce to solving satisfiability of logical formulas. Yet, there are many applications where satisfiability, and optionally a model or a proof, is insufficient. Examples of useful additional information include interpolants, models that satisfy optimality criteria, generating strategies for solving quantified formulas, enumerating and counting solutions. The tutorial describes, in an interactive way using jupyter notebooks, logical services from the point of view of the Satisfiability Modulo Theories solver Z3.

11:20 - 11:40

Coffee break, poster session

11:40 - 12:05

E.M. Lavrishcheva1

1 Professor, ISP RAS

"System modeling for applied knowledge. Research directions for system programming"

12:05 - 12:30

Iliya Trub1

1 Samsung Research Russia

"High Performance Flexible Memory Allocators in Complex Projects"

12:30 - 12:55

Aleksandr Samonov1

1 Alexander Mozhaysky Military Space Academy

"Developing automated information system based on an ontology for program systems quality assessment"

12:55 - 14:00

Lunch

14:00 - 14:25

Lev Gorelikov1

1 Ntts Modul'

"Functional modeling for embedded software QA in real-time systems"

14:25 - 14:50

Jivan Hakobyan1, Sevak Sargsyan2

1 Yerevan State University

"Improving fuzzing performance by applying interval mutations"

14:50 - 15:15

Alexander Popov1

1 Positive Technologies

"Linux Kernel Fuzzing in Practice"

15:15 - 15:40

Liang Guangtai1

1 Huawei

"CodeBot: A Smart Weapon to Rescue Developers from Annoying Coding Processes"

15:40 - 16:00

Coffee break

16:00 - 16:25

N.O. Besshaposhnikov1

1 FGU Federal Research Center of NIISI RAS

"PictoWorld: An educational free of text programming system and its deployment experience"


11:20-13:20, Open source software in continuum mechanics problems solving (Green Hall - Lobby)

Poster 1

Maxim Khomenko1

1 ILIT RAS — Branch of FSRC "Crystallography and Photonics" RAS

Computation efficiency of S-CLSVOF method for additive manufacturing applications.

Poster 2

Tatiana Stenina1, Tatiana Elizarova2, Daniil Ryazanov3, Eugene Ryabinkin4

1 Lomonosov Moscow State University, 2 Keldysh Institute of Applied Mathematics of the RAS, 3 ISP RAS, 4 NRC "Kurchatov Institute"

Implementation of regularized equations for the disk pump simulation problem in OpenFOAM.

Poster 3

Artem Nuriev1, Airat Kamalutdinov1

1 Kazan Federal University

Study of hydrodynamics near oscillating beams in OpenFOAM package.

Poster 4

Daniil Ryazanov1, Ilias Sibgatullin1

1 ISP RAS

Regularized Equations for Biharmonic Attractors of Internal Gravity Waves.

Poster 5

Artem Kuvshinnikov1, Alexander Bondarev1

1 Keldysh Institute of Applied Mathematics, RAS

Parametric study of the accuracy of OpenFOAM solvers for the oblique shock wave problem.

Poster 6

Elena Malinovskaya1

1 Institute of Atmospheric Physics A.M. Obukhov RAS

Study of the conditions for the occurrence of aeolian microrelief.

Poster 7

Maria Komarova1

1 Bauman Moscow State Technical University

Verification of SolidDisplacementFoam calculation core of OpenFOAM software.

Poster 8

Daria Romanova1, Sergei Strijhak1, Konstantin Koshelev1, Matvey Kraposhin1

1 ISP RAS

Modeling the reservoir flooding problem using the extended version of the porousMultiphaseFoam library.

Poster 9

Mikhail Chmykhov1, Victor Kozlov1

1 NRNU MEPhI

On numerical modeling of natural convection based on the OpenFOAM solver.

Poster 10

Daria Romanova1

1 ISP RAS

The study of the capture of material by the flow on a slope using OpenFOAM.

Poster 11

Mikhail Levin1

1 ISP RAS

Data selection from Big Data to design of substantial mathematical models.

Keynote speakers

Assaf Schuster

Assaf Schuster

Science Department at the Technion, Israel Institute of Technology, Israel.

Nikolaj Bjørner

Nikolaj Bjørner

Chief scientist, Microsoft Research, Redmond, USA.

Karan Bhatia

Karan Bhatia

Head of Global Public Policy and Government Relations, New York, USA.

Peter Pleshachkov

Peter Pleshachkov

Core Software Engineer (Distributed Systems) at Hazelcast.

Igor Petrov

Igor Petrov

Corresponding Member of RAS, Dr. Sci. (Phys.–Math.). Head of the Department of Informatics MIPT.

Tomáš Bodnár

Tomáš Bodnár

Professor at Czech Technical University in Prague, Faculty of Mechanical Engineering, Department of Technical Mathematics. Institute of Thermomechanics of the Academy of Sciences of the Czech Republic.

Philippe_Fraunie

Philippe Fraunie

Professor at Toulon University, research director at Mediterranean Institute of Oceanography (M.I.O) Université Toulon.

Alexei Klimentov

Alexei Klimentov

Brookhaven National Laboratory, Upton, USA.

Programme Committee

Steering committee

  • Arutyun Avetisyan, Prof., Academician of RAS, director of the ISP RAS.
  • Garbuk S.V., Ph.D. in Technical Sciences, scientific projects director (Higher School of Economics).
  • Gergel V.P., Doctor of Technical Sciences, Professor at the Institute of Information Technology, Mathematics and Mechanics, NNSU.
  • Kalyaev I.A., Doctor of Technical Sciences, RAS academician, scientific supervisor (Research Institute of multiprocessor computing systems, SFU).
  • Lyutikov V.S., deputy director of FSTEC Russia.
  • Fedosov E.A., Doctor of Technical Sciences, RAS academician, scientific supervisor of GosNIIAS.
  • Assaf Schuster, Professor, head of AI center (Computer Science Department, Israel Institute of Technology (Technion)).
  • David Alan Grier, Associate professor at the George Washington University, 2013 IEEE Computer Society President.
  • Costas Stasopoulos, 2015-2016 IEEE Region 8 Director (Europe, Africa and Middle East), Assistant manager at Electricity Authority of Cyprus.
  • Hironori Kasahara, Professor of Computer Science at Waseda University in Tokyo, 2018 IEEE Computer Society President.

Organizing Committee

  • Arutyun Avetisyan, Prof., Academician of RAS, director of the ISP RAS.
  • Belousov Igor, Prof., SAP .
  • Volkov Dmitry, editor-in-chief ("Open Systems"), senior research fellow (Keldysh Institute of Applied Mathematics).
  • Ivanov Sergey, Hewlett Packard Enterprise, Russia.
  • Konyagin Dmitriy, NVIDIA.
  • Luchinin Nikolay, Dell, Russia.
  • Pakulin Nikolay, Ph.D., ISP RAS.
  • Prokhorov Sergei, Prof., MIPT.
  • Samovarov Oleg, Ph.D., ISP RAS.

Programme Committee

Program analysis, modeling and transformation technologies

  • Arutyun Avetisyan, Prof., Academician of RAS, director of the ISP RAS.
  • Belevantsev Andrey, Dr. Sci., ISP RAS.
  • Volkonsky V.Yu., Ph.D., JSC "MCST".
  • Gaysaryan Sergey, Ph.D., ISP RAS.
  • Devyztin P.N., Prof., ISEDU .
  • Drozdov Alexander, Prof., MIPT.
  • Kanatov Alexey, Ph.D., Samsung.
  • Koverninsky I.V., FGUP GosNIIAS.
  • Kuznetsov S.D., Prof., ISP RAS.
  • Makarov Vladimir , Ph.D., NovSU.
  • Ostanevich Sergey, Intel.
  • Petrenko Aleksander, Prof., ISP RAS.
  • Proskurin Vadim, Ph.D., EMA IS.

Management of Data and Information Systems

  • Denis Turdakov, Ph.D., ISP RAS.
  • Natalia Loukachevitch, Dr. Sci., Research Computing Center of Moscow State University.
  • Dmitry Ustalov, Ph.D., University of Mannheim.
  • Kuznetsov Sergey, Dr. Sci., Professor, ISP RAS.
  • Anton Korshunov, Ph.D., Quantum.uk.
  • Nikita Astrakhantsev, Ph.D., Microsoft Corp.
  • Dmitry Lizorkin, Ph.D., Google LLC.
  • Boris Dobrov, Ph.D., Research Computing Center of Moscow State University.
  • Elena Tutubalina, Ph.D., Kazan Federal University.
  • Andrei Tchernykh, Dr. Sci., Prof., CICESE Research Centre (Ensenada, Baja California, Mexico).
  • Oleg Samovarov, Ph.D., ISP RAS.
  • Andrey Filchenkov, Ph.D., ITMO University.
  • Nikolai Kuzjurin, Dr. Sci., Prof., ISP RAS.
  • Vasily Velikhov, Ph.D., NRC "Kurchatov Institute".
  • Sochenkov, Ph.D., Federal Research Center of Computer Science and Management (RAS).

Open source software for continuum mechanics

  • Prof J.M. Redondo, Universitat Politècnica de Catalunya, PELNoT, LAB-ERCOFTAC.
  • Kornev N.V., Prof. Dr-Ing. habil., Universitat Rostock.
  • Dr. Henrik Rusche, WIKKI Gesellschaft fur numerische Kontinuumsmechanik mbH.
  • Chashechkin Yu D., Prof., Ishlinsky Institute for Problems in Mechanics RAS.
  • Yakobovsky M.V., RAS corresponding member, Prof., Keldysh Institute of Applied Mathematics.
  • Yelizarova T.G., Dr.Sci., Prof., Keldysh Institute of Applied Mathematics.
  • Scheglov G.A., Prof., Bauman MSTU.
  • Strizhak S.V., Ph.D., ISP RAS.
  • Sigbatullin I.N., Ph.D., Department of Mechanics and Mathematics, Lomonosov Moscow State University.
  • Marchevskiy I.K., Ph.D., Bauman MSTU.
  • Kraposhin M.V., ISP RAS.
  • Terekhov K.M., Ph.D., INM RAS.
  • Artem Nuriev, PhD, N.I. Lobachevsky Institute of Mathematics and Mechanics.
  • Tellez Alvarez, Jackson, PhD., Flumen Institute, Universitat Politècnica de Catalunya – Consorci Besòs Tordera.

Organizer & Partners

Registration


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.

Submission is open at EasyChair.

Submissions that violate these guidelines will be rejected.

Past conferences


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

Venue Information

Where to find us

Location

The conference takes place at the Main building of the Russian Academy of Science. See the map for exact information.

Transport

The RAS Main building is situated not far from Moscow Metro station "Leninskiy prospect" and Moscow Central Circle station "Ploshchad Gagarina".

Details

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