-------------------------------------------------------------------------------------------------------------
- Our apologies if you receive multiple copies of this CfP -
-------------------------------------------------------------------------------------------------------------
Call for Papers
VECoS 2014
8th International Workshop on Verification and Evaluation of Computer and
Communication Systems
Bejaïa, Algeria, 29-30 September, 2014
http://www.vecos-world.org , http://vecos.ensta-paristech.fr/2014/
==============================================
*** Important dates
Paper submission: April 30, 2014
Decision notification: June 16, 2014
Camera-ready submission: July 1, 2014
Workshop: September 29-30, 2014
*** Aims and scope
VECoS 2014 will be held the 29th and 30th of September 2014 at the University
of Bejaia, that is the main organizer together with the support of MeFoSyLoMa
group and Formal Methods Europe.
The International Workshop on Verification and Evaluation of Computer and
Communication Systems (VECoS) was created by an Euro-Maghrebian network of
researchers in computer science. Its first edition, VECoS 2007, took place in
Algiers, VECoS 2008 in Leeds, VECoS 2009 in Rabat, VECoS 2010 in Paris, VECoS
2011 in Tunis, VECoS 2012 in Paris and VECoS 2013 in Florence.
The aim of the VECoS workshop is to bring together researchers and
practitioners, in the areas of verification, control, performance, quality of
service, dependability evaluation and assessment, in order to discuss the
state-of-the-art and the challenges in modern computer and communication
systems in which functional and non-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 based on the
specification formalisms for concurrent, distributed and software/hardware
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:
Model-checking -Equivalence checking - Abstraction techniques
Compositional verification - Parameterized verification
Probabilistic verification - Supervisory control methods
Security protocols verification, Performance and robustness evaluation
Simulation techniques of discrete-event and hybrid systems
Dependability assessment techniques, QoS evaluation, planning and deployment
Verification & validation of safety-critical systems
RAMS (Reliability Availability Maintainability Safety) evaluation
Certification standards for real-time systems
Application domains
Protocols and networks, ubiquitous systems, adaptive systems, real-time and
embedded systems, programming languages, service oriented systems, web based
systems, office automation, flexible manufacturing systems, logistics systems,
grid computing, massively parallel architectures, operations research.
*** Invited speakers
Saddek Bensalem, University Joseph Fourier, Verimag Lab, France
Bernd Heidergott, VU Amsterdam University, the Netherlands
Carla Seatzu, University of Cagliari, Italy
*** Submission and Publication
Contributions must have not been published previously, nor already submitted to
other conferences/journals in parallel with this workshop. Manuscripts must be
submitted electronically in PDF format, according to the instructions given on
the VECoS 2014 website and should not exceed 12 pages using the Electronic
Workshops in Computing (eWiC) format. The workshop proceedings will be
published in the eWiC series (ISSN 1477-9358) of the British Computer Society
(BCS).
Several papers will be considered for publication in extended and revised form
in a special issue of the International Journal of Critical Computer-Based
Systems (IJCCBS).
The website for electronical submissions is:
https://www.easychair.org/conferences/?conf=vecos2014
General Chair
Djamil Aïssani, Lamos, University of Bejaïa, Algeria
Program Co-chairs
Hassane Alla, Gipsa-Lab, Grenoble, France
Louiza Medjkoune, Lamos, University of Béjaïa, Algeria.
*** For more information, see: http://www.vecos-world.org ,
http://vecos.ensta-paristech.fr/2014/
=====================================================
----
[[ 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] ]]
