All conferences / VECoS / 2022
VECoS 2022
16th International Conference on Verification and Evaluation of Computer and Communication Systems
Submission timeline
-
31 May 2022
Abstract registration
AoE
30 Apr 2022→ 31 May 2022 +31 days -
13 Jun 2022
Full paper
AoE
30 Apr 2022→ 13 Jun 2022 +44 days -
11 Jul 2022
Notification
13 Jun 2022→ 11 Jul 2022 +28 days
- 28 Sep 2022 Conference opens
What to submit
- Format
- 15 pages LNCS
- Proceedings
- Springer LNCS — Paywalled, for-profit
- Journal
- Authors of selected papers will be invited to submit extended article versions to a special issue of an index journal (ISSE or IJCCBS).
- Co-located with
- Part of the Computational Logic Autumn Summit (CLAS 2022).
Call for papers
- After a deadline extension VECoS-2022-extended.txt · TXT · shown below
- As first published VECoS-2022.txt · TXT
- As first published VECoS-2022.pdf · PDF
Posters, images and calls for participation are kept for the record but not reproduced here.
The call, as published
Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at vecos-world.org/2022/.
****************************************************************************************** -- ABOUT VECoS -- VECoS 2022 - 28-30 September 2022, Tbilisi, Georgia http://vecos-world.org/2022/ part of the Computational Logic Autumn Summit (CLAS 2022) The 16th International Conference on Verification and Evaluation of Computer and Communication Systems initially planned to take place on 28-30 September 2022 Tbilisi State University, Georgia and will be a part of the Computational Logic Autumn Summit (CLAS 2022). ***************************************************************** -- INVITED SPEAKERS -- Antonin Kucera, Masaryk University, Czech Republic Silvano Dal Zilio, LAAS - CNRS, France -- IMPORTANT DATES -- All the deadlines are AoE (Anywhere on Earth) * Abstract Submission 31th May 2022 * Papers deadline: 13th June 2022 * Paper notification: 11th July 2022 * Camera-ready deadline: 25th July 2022 * Conference: 28- 30 September 2022 -- 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 and more details can be found at http://vecos-world.org/2022/ 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=vecos2022), 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 or IJCCBS: International Journal of Critical Computer-Based Systems). -- ORGANIZATION -- Program Chair * Jean-Michel Couvreur, Orléans University, France * Riadh Robbana, INSAT, Carthage University, Tunisia Publicity Chairs * Belgacem Ben Hedia, CEA LIST, Saclay, France For additional information, visit the conference website: http://vecos-world.org/2022/ Best regards Program co-chairs