===========================================================================

   VECoS 2017 - Lecture Notes in Computer Science
   https://vecos.ensta-paristech.fr/2017/

   11th International Conference on Verification and Evaluation of
   Computer and Communication Systems
   August 24-25, 2017

   Concordia University, Montreal, Quebec, Canada

===========================================================================
* Submission deadline is April 24, 2017 *
* Accepted papers will be published by Springer in the Lecture Notes in
  Computer Science (LNCS) series *
* Extended versions of selected papers will be considered for a special
  issue of Springer ISSE : A NASA Journal
===========================================================================

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.

Topics of interest to the conference include, but are not limited to:
o Abstraction techniques
o Certification standards for real-time systems
o Compositional verification
o Correct-by-construction design
o Dependability assessment techniques
o Equivalence checking
o Model-checking
o Parameterized verification
o Performance and robustness evaluation
o Probabilistic verification
o QoS evaluation, planning and deployment
o RAMS (Reliability Availability Maintainability Safety) assessment
o Rigorous system design
o Security protocols verification
o Simulation techniques of discrete-event and hybrid systems
o Supervisory control
o Verification & validation of IoT
o Verification & validation of safety-critical systems
o Worst-case execution time analysis

Application areas of VECoS include: adaptive systems, communication
protocols, computer-supported collaborative work systems, cloud computing,
cyber-physical systems, high performance computing, internet of things,
logistics systems, manufactory 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:
https://vecos.ensta-paristech.fr/

Important Dates
o Abstract deadline: April 10, 2017
o Papers deadline: April 24, 2017 (Anywhere on Earth)
o Paper notification: May 29, 2017
o Camera-ready deadline: June 12, 2017
o Conference: August 24-25, 2017

Invited Speakers
o Mourad Debbabi <https://users.encs.concordia.ca/~debbabi/>, Concordia
University, Montreal, Canada
o Michel Dagenais <http://www.polymtl.ca/recherche/rc/en/professeurs/
details.php?NoProf=117
<http://www.polymtl.ca/recherche/rc/en/professeurs/details.php?NoProf=117>>,
Polytechnique Montreal, Canada
o Mengchu Zhou <https://web.njit.edu/~zhou/>, NJIT, Newark, NJ, USA

General Information on Submissions
The conference proceedings will be published in the Springer-Verlag
Lecture Notes in Computer Science
<http://www.springer.com/gp/computer-science/lncs> series. Papers must be
original work and not be submitted for publication elsewhere. Papers must
be submitted electronically in PDF format using easychair system
<https://easychair.org/account/signin.cgi?key= 50603016.qOLToNquHY75MxLI>
and should not exceed 15 pages using the Lecture Notes in Computer Science
(LNCS) <https://www.springer.com/computer/lncs?SGWID=0-164-6-
793341-0&token=prtst0416p> format.

At least one author of each accepted paper must attend VECoS 2017 to
present.

Authors of selected papers will be invited to submit extended article
versions in a special issue of Innovations in Systems and Software
Engineering : A NASA Journal <http://www.springer.com/
computer/swe/journal/11334> or of International Journal of Critical
Computer-Based Systems
<http://www.inderscience.com/jhome.php?jcode=ijccbs>

============================================================
=================
Organization

General Chairs
Sofiene Tahar, <http://users.encs.concordia.ca/~tahar/>
Concordia University, Montreal, Quebec, Canada
Ali Mili <https://web.njit.edu/~mili/>, New Jersey Institute of Technology,
Newark, NJ, USA

Program Chairs
Kamel Barkaoui, <http://cedric.cnam.fr/index.php/labo/membre/view?id=34>
CNAM, Paris, France
Hanifa Boucheneb, <http://www.polymtl.ca/recherche/rc/professeurs/
details.php?NoProf=250
<http://www.polymtl.ca/recherche/rc/professeurs/details.php?NoProf=250>>
Polytechnique Montreal, Canada

Organizing Committee Chair
Otmane Ait Mohamed <https://users.encs.concordia.ca/~ait/index.html>,
Concordia University, Montreal, Quebec, Canada

Publicity Chairs
Belgacem Ben Hedia <http://www.bbhedia.org/index.
php?n=Main.HomePage?userlang=fr>, CEA-LIST, Saclay, France
Vladimir-Alexandru Paun <http://www.ensta-paristech.fr/>, ENSTA ParisTech,
Palaiseau, France

For more information, visit the conference website:
https://vecos.ensta-paristech.fr/2017/

============================================================
=================