Gallery of Hosted Conferences
Latest News
Next Events & Call for Papers
TACAS 2021
27, Mar, 2021 >> 1, Apr, 2021 

27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Online RTNS 2021
7, Apr, 2021 >> 9, Apr, 2021 

29th International Conference on Real-Time Networks and Systems
Online ICARSC 2021
28, Apr, 2021 >> 29, Apr, 2021 

21st IEEE International Conference on Autonomous Robot Systems and Competitions
Santa Maria da Feira, Portugal RTAS 2021
18, May, 2021 >> 21, May, 2021 

27th IEEE Real-Time and Embedded Technology and Applications Symposium
Online CPS-IOT Week 2021
18, May, 2021 >> 21, May, 2021
Cyber-Physical Systems and Internet-of-Things Week
Online ICCPS 2021
19, May, 2021 >> 21, May, 2021 

12th ACM/IEEE International Conference on Cyber-Physical Systems
Online FSEN 2021
19, May, 2021 >> 21, May, 2021 

9th IPM International Conference on Fundamentals of Software Engineering
Online F-IDE 2021
24, May, 2021 >> 28, May, 2021 

6th Workshop on Formal Integrated Development Environment
Online 

































Verification & Validation (V&V) remains as a major challenge in the development of safety-critical systems. Current V&V technology is known to be time consuming, costly, and mostly focused on the functionality aspects of systems. However, with the raising complexity associated with systems becoming more automated, open, and connected, other key properties such as security and privacy must be taken into account in the V&V methods.



