Keynote speakers
Prof, Dr Andrzej Rucinski, University of New Hampshire, eCv Collaboratory USA
Homo Hominus: Vitruvian and Dependable Cyber Society
Prof, DrS Oleksandr Letychevskyi, Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv
Algebraic Methods and Tools for Critical Software Verification
Prof, DrS Vladimir Hahanov, Kharkiv National University of Radioelectronics, Ukraine
Social Computing: Challeges and Solutions
Prof, DrS Inna Skarha-Bandurova, East Ukrainian National University, Severodonetsk, Ukraine
Problem of Synchonizing and IoT-based Health Systems
Prof, Dr Volodymyr Ponomaryov, Instituto Politécnico Nacional, Mexico City, Mexico
Sparse Learning Approach in Restoration and Filtering of Multidimensional Signals with Rapid Hardware Implementation (CPU multicore, GPU, DSP)
Prof, DrS Alex Yakovlev, Newcastle University, United Kingdom
Real-Power Computing
Dr Mario Fusani, Institute of Information Science and Technologies (ISTI-CNR), System and Software Evaluation Center, Pisa, Italy
Are safety-conformant products really safe?
Prof Marco Vieira, University of Coimbra, Department of Informatics Engineering, Coimbra, Portugal
Benchmarking the Security of Software Systems: Approach and Challenges
Prof Alexey Stakhov, FibTech (Fibonacci Technology) Company, Bolton, Ontario, Canada
Numeral Systems with Irrational Bases for Mission-Critical Applications
Prof Jüri Vain, Department of Software Science, Tallinn University of Technology, Estonia
Markov Model Guided Online Testing of Mission Critical Applications
Anton Andrashov, Head of International Projects Division, Research and Production Corporation Radiy, Kropyvnytskyi, Ukraine
Research & Development Activities Supporting Safety Systems Design and Certification
Viktor Kremin, Oleksandr Karpin, Svyatoslav Paliy, Cypress Semiconductor Corporation
Secure Fingerprint Sensing and Identification for IoT