posted by organizer: bbhedia || 1884 views || tracked by 3 users: [display]

VECoS 2019 : 13th International Conference on Verification and Evaluation of Computer and Communication Systems


When Oct 7, 2019 - Oct 9, 2019
Where Porto, Portugal
Abstract Registration Due Apr 23, 2019
Submission Deadline May 8, 2019
Notification Due Jun 11, 2019
Final Version Due Jun 28, 2019
Categories    formal methods   model-checking   critical systems   verification

Call For Papers


VECoS 2019

Call for Papers

13th International Conference on

Verification and Evaluation of Computer and Communication Systems

October 7-9, 2019, Porto, Portugal

Co-located with 23rd International Symposium on Formal Methods (FM 2019) – 3rd World Congress on Formal Methods



* Ahmed Bouajjani, Université Paris Diderot (Paris VII), IRIF Laboratory, France

* Ali Mili, New Jersey Institute of Technology, Newark, USA


All the deadlines are AoE (Anywhere on Earth)

* Abstract deadline: 23 April 2019

* Papers deadline: 8 May 2019

* Paper notification: 11 June 2019

* Camera-ready deadline: 28 June 2019

* Conference: 7–9 October 2019


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-fertil-

ization 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:

* Abstraction techniques

* Compositional verification

* Correct-by-construction design

* Rigorous system design

* Equivalence checking

* Model-checking

* Parameterized verification

* Performance and robustness evaluation

* Probabilistic verification

* QoS evaluation, planning and deployment

* Dependability assessment techniques

* RAMS (Reliability-Availability-Maintainability-Safety)


* Model-based Security assessment

* Security protocols verification

* Discrete-event and hybrid systems Modeling and Simulation

* Supervisory control

* Verification & validation of IoT

* Verification & validation of safety-critical systems

* Assessment for real-time systems

* Worst-case execution time analysis

Application areas of interest to VECoS include: adaptive systems,

communication protocols, computer-supported collaborative work

systems, cloud computing, cyber-physical systems, high-performance

computing, internet of things, logistics systems, manufacturing

of the future, mixed criticality systems, 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.

An overview of previous VECoS conferences can be found at:

VECoS 2019 will be held in October 7-9 in Porto, Portugal and will be co-located with the International Symposium on Formal Methods, FM 2019.


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

(, 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 the 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)


Program Chairs

* Pierre Ganty, IMDEA Software Institute, Madrid, Spain

* Mohamed Kaaniche, LAAS-CNRS, Toulouse, France

Publicity Chairs

* Belgacem Ben Hedia, CEA-LIST, Saclay, France

* Vladimir-Alexandru Paun, ENSTA ParisTech, Palaiseau, France

For additional information, visit the conference website:

Related Resources

ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
ICST 2021   IEEE International Conference on Software Testing, Verification and Validation 2021
AEIS--Ei Compendex, Scopus 2021   2021 International Conference on Advanced Enterprise Information System (AEIS 2021)--Ei Compendex, Scopus
ESOP 2021   30th European Symposium on Programming
WSIM--Ei, Scopus 2021   2021 International Workshop on Information Management (WSIM 2021)--Ei Compendex, Scopus
CPP 2021   Certified Programs and Proofs
SPIE--IWPR--Ei Compendex, Scopus 2021   SPIE--2021 6th International Workshop on Pattern Recognition (IWPR 2021)--Ei Compendex, Scopus
TACAS 2021   27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
IEEE ICCSN--Ei Compendex, Scopus 2021   2021 13th International Conference on Communication Software and Networks (ICCSN 2021)--IEEE, Ei Compendex, Scopus
FM 2021   Formal Methods 2021