------------------------------------------------------------------------
- Our apologies if you receive multiple copies of this CfP -
------------------------------------------------------------------------
FIRST CALL FOR PAPERS: *VECoS**2013*
7th International Workshop on Verification and Evaluation of
Computer and Communication Systems
Florence, Italy, 21-22 November, 2013
http://www.vecos-world.org/
===================================================================
*** *Important dates*
Abstract Submission: 9th September, 2013
Paper Submission: 16th September, 2013
Paper Notification: 21th October, 2013
Camera Ready Copy Due: 28th October, 2013
*** *Aims and scope*
VECoS 2013 will be held the 21st and 22nd of November 2013 at the
University of Florence, 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 and VECoS 2012 in Paris.
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
- Control synthesis techniques
- Probabilistic 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
*** *Invited speakers* (to be confirmed)
Roberto Bruni, University of Pisa, Italy
http://www.di.unipi.it/~bruni/
Karama Kanoun, LAAS-CNRS, Toulouse, France
http://homepages.laas.fr/kanoun/
*** *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 2013 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).
The authors of the best papers will be invited to submit a revised and
extended version of their paper after the workshop to a special issue
of the International Journal of Critical Computer-Based Systems (IJCCBS).
*** For more information,
see http://www.vecos-world.org/ or contact:
* General Chair
Alessandro Fantechi, University of Florence, Italy
http://www.dsi.unifi.it/~fantechi/
* Program Co-chairs
Hanifa Boucheneb, Veriform, Ecole Polytechnique de Montréal, Canada
http://www.polymtl.ca/recherche/rc/en/professeurs/details.php?NoProf=250
Francesco Flammini, Ansaldo STS, Italy
http://ansaldo-sts.academia.edu/FrancescoFlammini
===================
----
[[ 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] ]]
