VECoS 2021
15th International Conference on Verification and Evaluation of Computer and Communication Systems
Beijing, China
22-23 November 2021
(virtual conference)
Call for Papers VECoS 2021
Welcome to VECoS 2021
VECoS 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).
*** Due to the Covid-19 outbreak, the VECoS 2021 conference will happen as a virtual conference, with pre-recorded video talks, and live audio Q&A sessions ***
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:
Application domains
adaptive systems, cloud computing, communication protocols, computer graphics, computer vision, computer-supported collaborative work systems, cyber-physical systems, cybersecurity, high-performance computing, image processing, intelligent software, internet of things, learning-enabled systems, 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.
Paper Submission
Contributions must have not been published previously, nor already submitted to other conferences/journals. Manuscripts must be submitted in PDF format electronically, via the EasyChair system using the Lecture Notes in Computer Science (LNCS) format and should not exceed 15 pages, including the reference list. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. Accepted papers will appear in the conference proceedings. At least one author of each accepted paper must attend the conference and present the paper. 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 or IJCCBS).
Authors of accepted papers must submit a signed Consent to Publish form, through which the copyright of their paper is transferred to Springer. Please download the template of the form here:
VECoS Copyright form.
Papers must be submitted electronically, in PDF format, on-line
via easychair system.
Past Editions of VECoS
You can find the details of the past editions of VECoS here.
Copyright (c) VECoS 2021. All Rights Reserved.
Important Dates
All the deadlines are AoE (Anywhere on Earth)20 July 2021: Submission of papers
4 October 2021: Notification of acceptance
7 November 2021: Final version
22-23 November 2021: Conference
Remaining time for papers submission: