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