VECoS 22

16th International Conference on Verification and Evaluation of Computer and Communication Systems
28, Sep, 2022 to 30, Sep, 2022
Tbilisi State University, Tbilisi, Georgia
Homepage: Link
Deadline: 30, Apr, 2022

The VECoS conference series focuses on the analysis of computer and communication systems, where functional and extra-functional properties are inter-related. VECoS encourages the cross-fertilization between the various formal verification and evaluation approaches, methods and techniques, especially those developed for concurrent and distributed hardware/software systems.