conferences.computer.science

All conferences / VECoS / 2020

VECoS 2020

14th International Conference on Verification and Evaluation of Computer and Communication Systems

Held24–25 Sep 2020 WhereXi’An 🇨🇳 RankCORE unranked Website vecos-world.org/2020/ ↗
Closed

Submission closed on 26 Jul 2020, after an extension of 69 days.

Submission timeline

  • 26 Jul 2020 Full paper AoE 18 May 2020 → 8 Jun 2020 +21 days
    8 Jun 2020 → 26 Jul 2020 +48 days
  • 24 Aug 2020 Notification 12 Jun 2020 → 29 Jun 2020 +17 days
    29 Jun 2020 → 24 Aug 2020 +56 days
  • 24 Sep 2020 Conference opens

What to submit

Format
15 pages LNCS
Proceedings
Springer LNCS — Paywalled

Authors of selected papers will be invited to submit extended article versions to a special issue of an index journal (ISSE or IJCCBS).

Call for papers

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at vecos-world.org/2020/. 

=====================================================
Based on several requests, we decided to extend the submission deadline for VECoS 2020 to 26 July 2020. We hope it will give you enough time to possibly finish your paper.

The coronavirus (COVID-19) pandemic is not yet controlled in our entire world, but we still hope that we will be able to meet in September in Xian.
In any case, we will monitor the developing situation and we will update you
of any adjustments that may need to be made.

Best regards and firm health!  
   
-- Zhanli Li , General Chair VECoS 2020  
===================================================

[Apologies if you receive multiple copies of this message]
******************************************************************************************

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:        26 July 2020
* Paper notification:     24 August 2020
* Camera-ready deadline:  31 August 2020 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

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.