******************************************************************************************

VECoS 2020 - **Deadline Extended to** Second Call for Papers

14th International Conference on Verification and Evaluation of Computer and Communication Systems September, 22-25, 2020, Xi'an, China

http://vecos-world.org/2020

******************************************************************************************

- INVITED SPEAKERS   
   TBA  soon.

- IMPORTANT DATES : All the deadlines are AoE (Anywhere on Earth)
* Papers deadline:        8 June 2020
* Paper notification:     29 June 2020
* Camera-ready deadline:  12 June 2020
* Conference:             24-25 September 2020
* Tutorials:              22-23 September 2020

- ABOUT VECoS

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
* 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

Application areas of interest to VECoS include: adaptive systems, communication protocols, computer-supported collaborative work systems, cloud computing, cyber-physical systems, high-performance computing, internet of things, logistics systems, manufacturing of the future, mobile and wireless networking, operations research, programming languages, real-time and embedded operating systems, service-oriented systems, telecommunication systems, ubiquitous systems, web services, wireless sensor networks and workflow systems. cybersecurity, intelligent software.

An overview of previous VECoS conferences and publications can be found at: http://vecos-world.org/

VECoS 2020 will be held in September 22-25 in Xi'an, China and hosted by Xi'an University of Science and Technology (XUST).

- GENERAL INFORMATION ON SUBMISSIONS

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 Com­puter Science series.

At least one author of each accepted paper must attend the conference and present the paper.

Authors of selected papers will be invited to submit extended versions for a special issue of selected papers from the Conference will be considered for publication in extended and revised form in a special issue of an indexed international journal (ISSE: Innovations in Systems and Software Engineering or IJCCBS: International Journal of Critical Computer-Based Systems).

- ORGANIZATION
* 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

For additional information, visit the conference website:  http://vecos-world.org/2020/  
or http://vecos-world.org/2020