The VECoS conference series is interested in the analysis of computer and communication systems in which functional and extra-functional properties are inter-related. VECoS encourages the cross-fertilization between the various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.
 

The 12th International Conference on Verification and Evaluation of Computer and Communication Systems
(VECoS 2018) will be held on September 26-28 in Grenoble, France.

Topics of interest to the conference include, but are not limited to:
• Abstraction techniques
• Certification standards for real-time systems
• Compositional verification
• Correct-by-construction design
• Dependability assessment techniques
• Equivalence checking
• 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
• Simulation techniques of discrete-event and hybrid systems
• Supervisory control
• Verification & validation of IoT
• Verification & validation of safety-critical systems
• Worst-case execution time analysis

Conference website: https://vecos.ensta-paristech.fr/2018/

General Co-chairs
Saddek Bensalem, Verimag / University Grenoble Alpes
Bruno Monsuez, ENSTA ParisTech

Program Co-chairs
Mohamad Faouzi Atig, Uppsala University
Simon Bliudze, INRIA Lille

Steering Committee Chair
Kamel Barkaoui, Cedric-Cnam, Paris