================================================
[Our apologies if you receive multiple copies of this message]
================================================
The 11th International Conference on Verification and Evaluation of
Computer and Communication Systems *(VECoS 2017)*
Montréal, Québec, Canada, August 24-25, 2017
http://www.vecos-world.org
================================================
*Important Dates
-Submission of abstract: April 10, 2017
-Submission of papers: April 24, 2017
-Notification: May 29, 2017
-Final version: June 12, 2017
-Conference dates: August 24-25, 2017
*Scope and Aims
VECoS 2017 will be held on 24-25 August 2017 at Concordia University in
Montréal, Québec, Canada. Concordia University is the main organizer
together with the support of Polytechnique de Montréal, New Jersey
Institute of Technology, Le Cnam, and Formal Methods Europe.
The aim of the VECoS conference is to bring together researchers and
practitioners, in the areas of verification, control, performance, quality
of service, dependability evaluation, in order to discuss the
state-of-the-art and the challenges in modern computer and communication
systems in which functional and extra-functional properties are strongly
interrelated. Thus, the main motivation for VECoS is to encourage 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. Beyond its technical
and scientific goals, another main purpose of VECoS is to promote
collaboration between participants in research and education in the area of
computer science and engineering. We welcome contributions describing
original research, practical experience reports and tool
descriptions/demonstrations in the areas of verification, control,
performance, quality of service and dependability evaluation.
*Topics of interest 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.
*Application domains:
Adaptive systems, communication protocols, computer-supported collaborative
work systems, could computing, cyber-physical systems (CPS), 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, workflow
systems.
*Invited speakers
Mourad Debbabi, Concordia University, Montreal, Quebec, Canada
Mengchu Zhou, New Jersey Institute of Technology, Newark, NJ, USA
*Submission information
Contributions must have not been published previously, nor already
submitted to other conferences/journals. Manuscripts must be submitted
electronically in PDF format and should not exceed 15 pages using the
Lecture Notes in Computer Science (LNCS) format. Accepted contributions
will be included in the Conference proceedings, which we aim to publish as
a volume of Springer's LNCS series. Some 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.
Papers must be submitted electronically, in PDF format,
on-line via easychair system.
General co-Chairs:
Ali Mili, New Jersey Institute of Technology, Newark, USA
Sofiene Tahar, Concordia University, Montréal, Canada
Program co-Chairs:
Kamel Barkaoui, Cnam, Paris, France
Hanifa Boucheneb, Polytechnique Montréal, Canada
Organizing Committee Chair:
Otmane Ait Mohamed, Concordia University, Montreal Canada
*** For more information, see: VECoS 2017 , http://www.vecos-world.org
===============================================
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
