Workshop on Science Intensive Software (SIS)

2-3 July 2019, Akademgorodok, Novosibirsk, Russia

The Workshop on Science Intensive Software is a satellite event of the 12th A.P. Ershov Informatics Conference (PSI’19) to be held by the A.P. Ershov Institute of Informatics Systems in Akademgorodok.

The goal of the workshop is to present recent advances in applied software development, to introduce new software products and systems, and to provide a wide forum for discussions and exchange of ideas between researchers from academia and industry, scientific and science-intensive software developers and customers.

Workshop Topics

  • Information technologies and information systems
  • Design and natural science research on information technology
  • Domain-specific languages
  • Engineering computation and computer-aided design packages
  • Applied intelligent systems
  • Creating and programming robots
  • Mobile application development technologies
  • System programming
  • Bioinformatics applications
  • Natural Language processing
  • Geoinformatics applications
  • Signal and image processing technologies
  • User-oriented applications (multimedia, search engines, electronic publishing, digital collections, information portals)
  • Big data technologies, Machine learning
  • Business applications

Program Committee

  • Alexander Marchuk, A.P. Ershov Institute of Informatics Systems, Novosibirsk – Chair
  • Yury Zagorulko, A.P. Ershov Institute of Informatics Systems, Novosibirsk – Co-chair
  • Tatiana Batura, A.P. Ershov Institute of Informatics Systems, Novosibirsk – Secretary
  • Igor Agamirzyan, National Research University Higher School of Economics, Moscow
  • Zinaida Apanovich, A.P. Ershov Institute of Informatics Systems, Novosibirsk
  • Arutyun Avetisyan, Institute for System Programming, Moscow
  • Mikhail Bulyonkov, A. P. Ershov Institute of Informatics Systems, Novosibirsk
  • Andrey Fionov, Siberian State University of Telecommunications and Information Sciences, Novosibirsk
  • Andrey Koltashev, Information Satellite Systems Reshetnev Company, Zheleznogorsk
  • Mikhail Kurnosov, Siberian State University of Telecommunications and Information Sciences, Novosibirsk
  • Mikhail Lavrentiev, Instutite of Automation and Electrometry, Novosibirsk State University, Novosibirsk
  • Denis Miginsky, A.P. Ershov Institute of Informatics Systems, Novosibirsk
  • Feodor Murzin, A.P. Ershov Institute of Informatics Systems, Novosibirsk
  • Andrey Palyanov, A.P. Ershov Institute of Informatics Systems, Novosibirsk
  • Oleg Potaturkin, Instutite of Automation and Electrometry, Novosibirsk
  • Dmitry Shtokalo, A.P. Ershov Institute of Informatics Systems, Novosibirsk
  • Andrey Terekhov, Saint Petersburg State University, “Lanit-Tercom”, Saint Petersburg
  • Irina Travina, SoftLab-NSK, Novosibirsk
  • Viktor Trofimov, Siberian State University of Telecommunications and Information Sciences, Novosibirsk
  • Yuri Zybarev, Institute of Cytology and Genetics, Novosibirsk
  • Vladimir Zyubin, Instutite of Automation and Electrometry, Novosibirsk

Workshop Structure

The program will include reports, contributed talks, and software demonstrations.

Submission

Papers should present original research results, description of application software projects, or science extensive software prototypes. The papers should be from 4 to 6 pages either in Russian or in English. The template for the paper can be downloaded here.

Papers should be sent to the Program Committee Secretary (tbatura@iis.nsk.su).

Proceedings

The Workshop proceedings will be published as a special volume and indexed in the Russian Science Citation Index (RISC). Extended versions of selected reports will be recommended for publication in the rating journal “Vestnik SibGUTI” included in the list of VAK (Russian for the “State Commission for Academic Degrees and Titles”).

Information and Contacts

Terms of participation and additional information to appear shortly.

For information and participation requests please contact the Workshop PC Chair and Secretary:

Registration fee

The fee for participation in the Workshop on Science Intensive Software:

  • RUB 3000 for commercial organizations,
  • RUB 2000 for scientific and educational institutions,
  • RUB 1000 for students and PhD students.

In addition, SIS participants can purchase tickets to the PSI’19 banquet and cultural events.

Important Dates

  • Submission deadline: April 15, 2019
  • Notification of acceptance (by e-mail): April, 30, 2019
  • The workshop dates: July 2-3, 2019

Program
Workshop on Science Intensive Software (SIS)

Novosibirsk State University (NSU), 3307
(1, ul. Pirogova)

Tuesday, July 2
8:00–9:00 PSI’19 Registration (NSU, Block # 3, Entrance Hall)
9:00–9:30 Welcome greetings
9:30–10:30 Keynote Talk.
Moshe Vardi (Rice University, USA). Automated-Reasoning Revolution: From Theory to Practice and Back
10:30–11:00 Refreshments
11:00–12:00 Keynote Talk.
Andrew Yao (Tsinghua University, Harbin, China). Fintech and Its Scientific Drivers
12:00–14:00 Visit to the Evolution of the Earth Research and Education Center, NSU
14:00–15:00 Lunch (Restaurant of the Golden Valley Hotel)

House of Scientists, room 217
(23, Morskoy Prospekt)

Tuesday, July 2
15:00–15:20 L.A. Golubeva, V.S. Gorshunov, V.P. Il’in (Inst. of Computational Math. and Mathematical Geophysics, Novosibirsk) A Management Model for the Computing Complex Implemented on the Basis of the BCM Concept
15:20–15:40 V.I. Shelekhov (A.P. Ershov Inst. of Informatics Sys., Novosibirsk) Development of a Certified Predicate Programs Compiler
15:40–15:55 L.V. Gorodnyaya (A.P. Ershov Inst. of Informatics Sys., Novosibirsk) Forms of the Representation of the Results of Paradigmal Analysis of Programming Languages
15:55–16:15 A.I. Adamovich (Program Systems Inst. RAS, Pereslavl-Zalessky), A.V. Klimov (Keldysh Inst. of Applied Math., Moscow) Principles of Constructing a Deterministic Parallel Programming System
16:15–16:30 K.E. Serdyukov, T.V. Avdeenko (Novosibirsk State Tech. Univ.) Automatic Generation of Test Data Based on Genetic Algorithm
16:30–17:00 Refreshments
17:00–17:15 M.V. Platonova (St. Petersburg State Univ.) Graphical Modeling of Control Systems Based on Eclipse Technologies
17:15–17:30 G.B. Abdikerimova (L.N. Gumilyov Eurasian National Univ.,Nur-Sultan, Kazakhstan); A.L. Bychkov (Inst. of Solid State Chemistry. and Mechanochemistry, Novosibirsk); W. Xinyu (Heilongjiang Univ., China); F.A. Murzin, S.S. Khayrulin, N.E. Russkikh (A.P. Ershov Inst. of Informatics Sys., Novosibirsk); E.I. Ryabchikova (Inst. of Chem. Biology and Fundamental Medicine, Novosibirsk) Algorithms and software tools for analysis of textural images
17:30–17:45 .S. Krainikovsky, M.Ye. Melnikov (AkademGene, Novosibirsk); R.S. Samarev (Dotin Inc., USA) Predicting personality from image preferences: how can machine learning help us?
17:45–18:00 M.A. Kantureeva (L.N. Gumilyov Eurasian National Univ., Nur-Sultan, Kazakhstan) Application of Cellular Automata to Model the Movement of a Group of People
19:00–22:00 Welcome Party
Wednesday, July 3
9:30–9:50 M.A. Bulyonkov, T.V. Nesterenko (A.P. Ershov Inst. of Informatics Sys.,Novosibirsk) Support System for Forecasting the Development of the Basic Transport Network of Russia
9:50–10:10 G.B. Zagorulko (A.P. Ershov Inst. of Informatics Sys., Novosibirsk), L.V. Massel (Melentiev Energy Systems Inst., Irkutsk) Development of Intelligent DSS on Threats to Energy Security
10:10–10:30 D.E. Baburin (ARQA Technologies, Novosibirsk) How Do Modern High-Performance Stock Exchange Infrastructures Work
10:30–10:45 E.P. Abramov, F.A. Murzin (A.P. Ershov Inst. of Informatics Sys., Novosibirsk); U.T. Makhazhanova (L.N. Gumilyov Eurasian National Univ., Nur-Sultan, Kazakhstan) Decision-Making in the Field of Crediting on the Basis of Zadeh Fuzzy Logic
10:45–11:00 A.V. Bocharnikov (A.P. Ershov Inst. of Informatics Sys.,Novosibirsk); E.V. Ignatieva, O.V. Vishnevsky (Inst. of Cytology and Genetics, Novosibirsk) Using Graphics Accelerators for Identifying Functional Analysis in the Regulatory Regions of Prokaryote Genes
11:00–11:30 Refreshments & group photo
11:30–11:50 T.N. Yesikova (Inst. of Economics and Industrial Engineering, Novosibirsk), S.V. Vakhrusheva (Novosibirsk State Univ.) Development of a Multi-Agent System to Imitate the Construction of a Transcontinental Route across the Bering Strait (Information Space Modeling)
11:50–12:10 A.J. Akhmetova, L.L. La (L.N. Gumilyov Eurasian National Univ., Nur-Sultan, Kazakhstan); F.A. Murzin (A.P. Ershov Inst. of Informatics Sys., Novosibirsk) Latane’s Social Impact Theory and its Application to Analyze the User Environment in a Social Network
12:10–12:30 E.A. Sidorova (A.P. Ershov Inst. of Informatics Sys.,Novosibirsk) Tools for the Study of the Lexical Characteristics of Text
12:30–12:45 T.V. Batura, A.M. Bakiyeva (A.P. Ershov Inst. of Informatics Sys.,Novosibirsk) Automatic Summarization System of Scientific and Technical Texts
12:45–13:00 T.V. Batura, L.V. Efimova, F.A. Murzin (A.P. Ershov Inst. of Informatics Sys.,Novosibirsk); A.S. Yerimbetova (Novosibirsk State Univ., Russia); A.B. Kasekeeva (L.N. Gumilyov Eurasian Naional. Univ., Nur-Sultan, Kazakhstan) Analysis of Temporal and Spatial Concepts Occurring in Natural Language Texts
13:00–14:00 Lunch
14:00–15:30

Round Table (Discussion in Russian).

Subjects:

  • E.M. Lavrischeva Programming Technology: Post-Ershov Development
  • M.M. Lavrentyev, L.V. Gorodnyaya, M.A. Derjo, D.S. Miginsky IT: Career Prospects
15:30–16:00 Refreshments
16:00–17:00

Round table (continued).

Subjects:

  • D.S. Miginsky IT Education: Expectations versus Reality
  • A.L. Pan'kova Staff shortage in IT industry
17:00–21:00 Bus trip to Novosibirsk and folk music concert