VECoS 2023 will follow a hybrid conference with the in-person event taking place on 18-20 October 2023 at Marrakech, Morocco.
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 and VECoS 2021 as a virtual conference due to COVID'19.
VECoS is referenced by https://conferences-computer.science/ and ranked in category C by CORE
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:
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.
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, IJCCBS or Arima).
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.
You can find the details of the past editions of VECoS here.
24th April 2023 (Anywhere on Earth)
15th May 2023 (Anywhere on Earth)
12th June 2023
Camera ready copy
3th July 2023 (Anywhere on Earth)
18-20 October 2023
Yassine Maleh, Sultan Moulay Slimane University
Moez Krichen, AlBaha University
Belgacem Ben Hedia, LIST CEA
See Committees page
Ahmed Bouajjani, Paris Cité University, France
Silvano Dal Zilio, LAAS - CNRS, France
Amal El Fallah Seghrouchni, Sorbonne University - LIP6, France
Antonin Kucera, Masaryk University, Czech Republic