VECoS 2025: Call for Papers

The 18th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2025) is planned as a physical, in-person event to be held from November 5-7, 2025, in Paris, France (CEA LIST Institute, Palaiseau).

Scope

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

Topics of interest include, but are not limited to:

• Abstraction techniques
• Assessment for real-time systems
• AI & Formal methods
• Compositional verification
• Correct-by-construction design
• Data-driven testing
• Dependability assessment techniques
• Discrete-event and hybrid systems Modeling and Simulation
• Equivalence checking
• Model-based Security assessment
• Model-checking
• Parameterized verification
• Performance and robustness evaluation
• Probabilistic verification
• QoS evaluation, planning and deployment
• RAMS (Reliability-Availability-Maintainability-Safety) assessment
• Rigorous system design
• Security protocols verification
• Supervisory control
• Verification & validation of IoT
• Verification & validation of safety-critical systems
• Worst-case execution time analysis

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
• workflow systems

Paper Submission

Contributions must have not been published previously, nor already submitted to other conferences/journals.

• Format: Manuscripts must be submitted in PDF format.
• Submission System: Electronically, via the EasyChair system (https://easychair.org/conferences/?conf=vecos2025).
• Template: Use the Lecture Notes in Computer Science (LNCS) format.
• Length: Should not exceed 15 pages, including the reference list.
• Publication: The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series.
• Presentation: At least one author of each accepted paper must attend the conference and present the paper.
• Extended Versions: Authors of selected papers presented at the conference will be invited to submit an extended version for further review for inclusion into a special issue of an indexed international journal (ISSE, IJCCBS or Arima).
• Copyright: Authors of accepted papers must submit a signed Consent to Publish form, transferring copyright to Springer. Download the form here: VECoS Copyright form.

Timeline

• Paper submission: June 23, 2025 / July 7, 2025 (Anywhere on Earth)
• Authors notification: September 1, 2025
• Camera ready copy: September 22, 2025 (Anywhere on Earth)
• Early Registration: October 1, 2025
• Conference: November 5-7, 2025

Organizers

• PC Co-Chairs: Sébastien Bardin (CEA LIST), Riadh Robbana (INSAT UTC)
• Publicity Chair: Belgacem Ben Hedia (CEA LIST)
• Local organizer: See Committees page

Invited Speakers

• Mohamed Faouzi Atig (UPPSALA University)
• Sylvain Conchon (Paris-Saclay University)

Sponsors

Sponsors information is available.

Past Editions

You can find the details of the past editions of VECoS here.

Submission Portal

Log in to EasyChair for VECOS 2025: https://easychair.org/conferences/?conf=vecos2025