VECoS 2020: 14th International Conference on Verification and Evaluation of Computer and Communication Systems Xian, China, September 22-25, 2020 |
Conference website | http://vecos-world.org/2020/ |
Submission link | https://easychair.org/conferences/?conf=vecos2020 |
Submission deadline | May 18, 2020 |
VECoS 2020
14th International Conference on Verification and Evaluation of Computer and Communication Systems
September, 22-25, 2020, Xi'an, China
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.
Submission Guidelines
Submissions must be original contributions that have neither been published previously nor submitted to other conferences or journals while being submitted to VECoS 2020.
Papers must be formatted according to Springer’s LNCS formatting guidelines. Submissions must be in English and must not exceed 15 pages.
Papers must be submitted electronically in PDF format via https://easychair.org/conferences/?conf=vecos2020
Accepted papers will be included in the conference proceedings published by Springer in the Lecture Notes in Computer Science series.
At least one author of each accepted paper must attend the conference and present the paper.
List of Topics
Topics of interest include, but are not limited to:
- Abstraction techniques
- Compositional verification
- Correct-by-construction design
- Rigorous system design
- Equivalence checking
- Model-checking
- Parameterized verification
- Performance and robustness evaluation
- Probabilistic verification
- QoS evaluation, planning and deployment
- Dependability assessment techniques
- RAMS (Reliability-Availability-Maintainability-Safety) assessment
- Model-based Security assessment
- Security protocols verification
- Discrete-event and hybrid systems Modeling and Simulation
- Supervisory control
- Verification & validation of IoT
- Verification & validation of safety-critical systems
- Assessment for real-time systems
- Worst-case execution time analysis
Committees
Program Committee
- TBA
Organizing committee
General Chair
- Zhanli Li, Xian University of Science and Technology
General Co-Chair
- Kamel Barkaoui, Conservatoire National des Arts et Métiers, Paris
- Zhenhua Yu, X'ian University of Science and Technology, X'ian
Program Co-Chairs
- Belgacem Ben Hedia, CEA-List, Saclay (belgacem.ben-hedia@cea.fr)
- Yu-Fang Chen, Academica Sinica, Taipei (gulu0724@gmail.com)
- Gaiyun Liu, Xidian University, Xi'an (lg_2005@163.com)
Publicity Chairs
- Yufeng Chen, Xidian University
- Vladimir-Alexandru Paun, Five Rescue, Paris
- Belgacem Ben Hedia, CEA-LIST, Saclay
Local Organizing Committee Chair
- Ailing Feng, Xi'an University of Science and Technology,X'ian
Local Organizing Committee Co-Chairs
- Tian Ma, Weibo Chen, Xi'an University of Science and Technology, X'ian
Local Organizing Committee
- Yi Qin, Yan Wang, Yun Zhang, Xiaonan Shi, Ou Ye, Fan Deng: Xian University of Science and Technology, X'ian
Registration Chairs
- Wenjing Fan, Shengbao Bai, Xian University of Science and Technology, X'ian
Invited Speakers
-
TBA
Publication
VECoS 2020 proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science (LNCS) series.
Contact
Belgacem Ben Hedia (belgacem.ben-hedia@cea.fr), Yu-Fang Chen (gulu0724@gmail.com), Gaiyun Liu (lg_2005@163.com), Kamel Barkaoui (kamel.barkaoui@cnam.fr)