Conference Information
VECoS 2021: International Conference on Verification and Evaluation of Computer and Communication Systems
http://vecos-world.org/2021/
Submission Date:
2021-07-20 Extended
Notification Date:
2021-10-04
Conference Date:
2021-11-22
Location:
Beijing, China
Years:
15
Viewed: 11310   Tracked: 4   Attend: 3

Call For Papers
ECoS 2021 is planned to take place on 22-23 November 2021 at the Institute of Software, Chinese Academy of Sciences in Beijing, China (co-located with FM 2021).

The International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) was created by an Euro-Med network of researchers in computer science. Its first edition VECoS 2007 took place in Algiers, VECoS 2008 in Leeds, VECoS 2009 in Rabat, VECoS 2010 in Paris, VECoS 2011 in Tunis, VECoS 2012 in Paris, VECoS 2013 in Florence, VECoS 2014 in Bejaia, VECoS 2015 in Bucharest, VECoS 2016 in Tunis, VECoS 2017 in Montreal, VECoS 2018 in Grenoble, VECoS 2019 in Porto, VECoS 2020 in Xi'an.

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.

Topics of interest include, but are not limited to:
Abstraction techniques
Assessment for real-time systems
Compositional verification
Correct-by-construction design
Data-driven testing
Dependability assessment techniques
Discrete-event and hybrid systems Modeling and Simulation
Equivalence checking
Model-based Security assessment
Model-checking
Parameterized verification
Performance and robustness evaluation
Probabilistic verification
QoS evaluation, planning and deployment
RAMS (Reliability-Availability-Maintainability-Safety) assessment
Rigorous system design
Security protocols verification
Supervisory control
Verification & validation of IoT
Verification & validation of safety-critical systems
Worst-case execution time analysis
Last updated by Dou Sun in 2021-06-19
Related Conferences
Recommendation