**************************************************************************
The Twelfth International
Scientific and Practical
Conference on Programming
UkrPROG'2020
Ukraine, Kyiv, September 15-16 2020
**************************************************************************
The plenary session of the Twelfth International Scientific and Practical Conference on Programming UkrPROG'2020 (September 15-16, 2020) recommended to carry on holding conferences on programming UkrPROG as a regular scientific forum once every 2 years.
(Ukraine, Kyiv, September 15-16, 2020)
From the 15th to the 16th of September, 2020, the
Twelfth international scientific and practical conference on programming
UkrPROG'2020 is held at the Cybernetic Center of the National Academy of
Sciences of Ukraine in Kyiv. The conference is organized by:
The purpose of the conference is to highlight the major achievements in science and practice in programming and software engineering and identify the main areas of development of this science and technology.
The conference program includes:
The working languages of the conference are Ukrainian, English and Russian.
The basic organizations for the conference are the Institute of Software Systems of the National Academy of Sciences of Ukraine and the Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine.
THEMATIC SECTIONS OF THE CONFERENCE:
Scientists and software developers from Ukraine and the international community are invited to participate in the conference.
The chairman of the conference: Sergienko I.V. - Academician of the National Academy of Sciences of Ukraine, General Director of the Cybernetics Center of the National Academy of Sciences of Ukraine.
**************************************************************************
COORDINATION COMMITTEE
Sergienko I.V. (Ukraine) - chair of Coordination Committee
Andon P.I. (Ukraine), Zakusylo O.K. (Ukraine), Zgurovsky M.Z. (Ukraine), Naumovets A.G. (Ukraine), Khimich O.M. (Ukraine).
PROGRAM COMMITTEE
Andon P.I. (Ukraine) - chair of Program Committee
Ignatenko O.P. (Ukraine) co-chair
|
Anisimov A.V. (Ukraine) Balabanov O.S. (Ukraine) Hlybovets M.M. (Ukraine) Horlach S.P. (Germany) Hudak Sh. (Slovakia) Doroshenko A.Iu. (Ukraine) Yershov S.V. (Ukraine) Ilchenko M.Iu. (Ukraine) |
Zadorozhnyi V.I. (USA) Kryvyi S.L. (Ukraine) Kussul N.M. (Ukraine) Letychevskyi O.A. (Ukraina) Mair Kh. (Austria) Nikitchenko M.S. (Ukraine) Pankratova N.D. (Ukraina) Pasichnyk V.V. (Ukraine) |
Pohorilyi S.D. (Ukraine) Provotar O.I. (Ukraine) Redko V.N. (Ukraine) Serhiienko I.V. (Ukraine) Sydorov M.O. (Ukraine) Sinicin I.P. (Ukraine) Telenik S.F. (Ukraine) Khlukhi L. (Slovakia) |
ORGANIZING COMMITTEE
Moroz G.B. (Ukraine) - (chair), Gorodnichenko V.S. (Ukraine) - co-chair), Kulias A.I. (Ukraine), Starostin A.M. (Ukraine), Shcherbak B.V. (Ukraine), Salata M.V. (Ukraine), Yegorov V.O. (Ukraine), Rohushyna J.V. (Ukraine), Hryshanova I.Yu. (Ukraine).
40, Academican Glushkov Prospect 03187, Kiev, Ukraine Institute of Software Systems Room numb. 221, 225 Phone: +380 (044) 526-21-48, 526-50-65 Fax: +380 (044) 526-62-63 E-mail: ukrprog@isofts.kiev.ua
**************************************************************************
15.09.2020 Registration of participants, informing about the conference, checking the connection, downloading presentations.
16.09.2020 9.30 – 9.45 Connection 9.45 – 10.00 Open ceremony 10.00 – 11.00 Main panel 11.00 – 11.30 Break 11.45 – 17.15 Panel 1, 2 17.15 – 17.30 Closing ceremony
Tuesday 16.09.2020
8.30 – 9.45 Connection
9.45 Open ceremony
Head of session – Andon P. (link for connection https://us02web.zoom.us/j/9141658762 )
10.00 – 10.20 Andon P., Glybovets A., Kuryliak V. Developing a semantic image model using machine learning based on convolutional neural networks
10.20 – 10.40 Khimich A. Mathematical modeling and supercomputer technologies
10.40 – 11.00 Nikitchenko M. Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
11.20 -11.40
11.40 – 11.45 break
11.45 – 14.15 Concurrent panels 1, 2
(connection link https://us02web.zoom.us/j/9141658762 )
Head of session – Nikitchenko M.
11.30 – 11.45 Provotar Oleksandr, Provotar Olga. Elements of concrete algorithmics: computability and solvability
11.45 – 12.00 Khimich A., Sydoruk V., Nesterenko A. Hybrid algorithm Newton method for solving systems of nonlinear equations with block Jacobi matrix
Head of session – Nikitchenko M.
12.15 – 12.30 Andon P., Rogushina J., Grishanova I., Reznichenko V., Kyridon A., Aristova A., Tishchenko A. Experience of the semantic technologies use for intelligent Web encyclopedia creation (on example of the Great Ukrainian Encyclopedia portal)
12.30 – 12.45 Hoherchak H. Knowledge bases and description logics applications to natural language texts analysis
Head of session – Ignatenko O.
12.45 – 13.00 Kryvyi S. Encryption system based on abelian groups and rings
13.00 – 13.15 Semenchenko A., Pleskach V., Zaiarnyi O., Pleskach M. Organizational and legal mechanisms of cybersecurity and cyber defense in Ukraine: essentiality, conditions and development prospects
Head of session – Ignatenko O.
13.15 – 13.30 Pryima S., Strokan' О., Rogushina Ju., Gladun A., Mozhovenko A. Methods and tools for developing an information system for validation of non-formal learning outcomes
Head of session – Ignatenko O.
13.30 – 13.45 Pryima S., Strokan' О., Lubko D., Lytvyn Yu., Bilyk N. Development of the information system for semantic identification and documentation of the results of non-formal and informal education
13.45 – 14.00 Pursky O., Melnyk T., Kharchenko O., Gamaliy V. WEB-system for the level of regional development evaluation
14.15 – 14.45 Novitskyi O., Reznichenko V. Model of information object for digital library and its verification
14.45 – 15.00 Zakharova O. Context WEB-services matching as a means of search query. Ontological approaches
Head of session – Ignatenko O.
15.00 – 15.15 Komleva N., Liubchenko V., Zinovatna S. Decision support system for quality management in study process
15.15 – 15.30 Nabibekova G. Electronic demography decision making system
15.30 – 15.45 Gorbachuk V., Gavrylenko S. The impact of cloud services pricing on provider profit, consumer surplus, and social welfare
Head of session – Sydorov N.
15.45 – 16.00 Rogushina J., Grishanova I. Ontological methods and tools for semantic extension of the media WIKI technology
16.00 – 16.15 Sydorov N., Sydorova N., Sydorov E. Description model of programming style ecosystem
16.15 – 16.30 Punda S. Storage systems for IT infrastructure
16.30 – 16.45 Dyvak V., Yurchenko Yu., Demidov P. Scientific substantiation and practical testing of the use of information and communication technologies in the development of economic competence of heads of secondary education institutions
16.45 – 17.00 Pashko S. About an optimal control for a “predator-prey” system
(connection link https://us04web.zoom.us/j/2371364959?pwd=R05oVUJwdmg3YjcrV3A5alY4YUIxQT09 )
Head of session – Glybovets M.
11.30 – 11.45 Kramov A., Pogorilyy S. Automated methods of coherence evaluation of Ukrainian texts using machine learning techniques
11.45 – 12.00 Kosovets M., Tovstenko L. The practical aspect of using the artificial intellectual technology for building a multidimentional function CFAR for smart-handled LPI radar
12.15 – 12.30 Katerynych L., Veres M., Safarov E. Neural networks’ learning process acceleration
12.30 – 12.45 Litvin A., Velychko V., Kaverynskyi V. Method of information obtaining from ontology on the basis of a natural language phrase analysis
12.45 – 13.00 Kolchin A., Potienko S., Weigert T. Efficient increasing of the mutation score during model-based test suite generation
13.00 – 13.15 Palagin O., Velychko V., Malakhov K., Shchurov O. Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach
13.15 – 13.30 Lukianov I., Lytvynenko F. About the influence of features of fitness-functions on the convergence of the genetic algorithm
Head of session – Glybovets A.
13.30 – 13.45 Doroshenko A., Shpyg V., Kushnirenko R. Application of machine learning to improving numerical weather prediction
13.45 – 14.00 Ivanenko P. Validation of correctness of autotuning code transformations with rewriting rules technique
14.00 – 14.15 Glybovets M., Salata K., Tkach N. Construction of diagnostic expert-medical system using neural networks
14.15 – 14.30 Balabanov O. Causal inference from data. On some inadequacy problems of structures with hidden causes
14.30 – 14.45 Bilokon O. Aplication of deep learning technology for creating intellectual autonomous machines
Head of session – Doroshenko A.
14.45 – 15.00 Doroshenko A., Beketov O., Bondarenko M., Yatsenko O. Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
15.00 – 15.15 Zhereb K. Improving performance of Python code using rewriting rules technique
15.15 – 16.00 Doroshenko A., Tulika E. Parallel algorithms optimization using Actor Model
16.00 – 16.15 Paulin O., Komleva N. About using special data structures in coverage algorithms
16.15 – 16.30 Rahozin Dm. Models of concurrent program running in resource constrained environment
16.30 – 16.45 Mamedov T., Doroshenko A., Shevchenko R. Static analysis of .NET programs using rewriting rules
16.45 – 17.00 Chebanyuk O., Palahin O., Markov K. Domain engineering approach of software requirements analysis
17.00 – 17.15 Barmak O., Manziuk E., Kalyta O., Krak Iu., Kuznetsov V., Kulias A. Recognition of emotional expressions using the grouping crowdings of characteristic mimic states
Institute of Software Systems of NASU, Glushkov prosp. 40
03680 Kiev, Ukraine
tel.: (38)(044) 526 2148
fax: (38)(044) 526 6263
e-mail: ukrprog@isofts.kiev.ua
Copyright c 2007-2020, ISS, Last update 20/10/2020