All conferences / VECoS / 2023
VECoS 2023
16th International Conference on Verification and Evaluation of Computer and Communication Systems
Submission timeline
-
29 May 2023
Full paper
AoE
15 May 2023→ 29 May 2023 +14 days -
26 Jun 2023
Notification
12 Jun 2023→ 26 Jun 2023 +14 days
- 18 Oct 2023 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
- After a deadline extension VECoS-2023-extended.txt · TXT · shown below
- As first published VECoS-2023.txt · TXT
The call, as published
Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at vecos-world.org/2023/.
****************************************************************************************** VECoS 2023 - 18-20 October 2023, Marrakech, Morocco (extended deadline to 29th May 2023) http://vecos-world.org/2023/ The 16th International Conference on Verification and Evaluation of Computer and Communication Systems will follow a hybrid conference with the in-person event taking place on 18-20 October 2023 at Marrakech, Morocco ***************************************************************** -- INVITED SPEAKERS -- 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 -- IMPORTANT DATES -- All the deadlines are AoE (Anywhere on Earth) * Submission deadline (extended): 29th May 2023 * Acceptance notification: 26th June 2023 * Camera-ready deadline: 17th July 2023 * Conference: 18-20 October 2023 -- 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. VECoS is referenced by https://conferences-computer.science/ and ranked in category C by CORE Topics and more details can be found at http://vecos-world.org/2023/ An overview of previous VECoS conferences can be found at : http://vecos-world.org/ -- GENERAL INFORMATION ON SUBMISSIONS -- Submitted papers must be no longer than 15 pages (including bibliography), written in English, presenting original work and not be submitted for publication elsewhere. Papers must be submitted electronically in PDF format through EasyChair (https://easychair.org/conferences/?conf=vecos2023), using the LNCS format (version 2.20 or above). Accepted papers will appear in the conference proceedings. At least one author of each accepted paper must attend the conference and present the paper. The conference proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science (LNCS) series. 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, IJCCBS: International Journal of Critical Computer-Based Systems or Arima journal). -- ORGANIZATION -- Program Chair * Yassine Maleh, Sultan Moulay Slimane University, Morocco Program Co-Chair * Moez Krichen, AlBaha University, KSA Publicity Chair * Belgacem Ben Hedia, CEA LIST, Saclay, France For additional information, visit the conference website: http://vecos-world.org/2023/