--------------------------------------------------------------
Call for Papers: VECoS 2008
2nd International Workshop on Verification and Evaluation
of Computer and Communication Systems
Leeds, UK, July 2-3, 2008
Important Dates
---------------
Submission deadline for VECoS 2008 papers: March 28, 2008
Notification of acceptance: May 15, 2008
Final version of papers due: May 30, 2008
Workshop date: 2-3 July 2008
Venue: School of Computing, University of Leeds.
Web: http://www.comp.leeds.ac.uk/vecos08/
Introduction
------------
The International Workshop on Verification and Evaluation of Computer
and Communication Systems (VECoS) was created by a Euro-Maghrebian
network of researchers in computer science. The first edition took place
at Algiers 5-6 May 2007 (VECoS'2007). The aim of VECoS workshop is to
bring together researchers and practitioners, in the areas of
verification, control, performance , QoS and dependability evaluation
and assessment, to discuss the state of the art for solving the
challenges facing us today in various modern computer and communication
systems in which functional and non functional properties are strongly
mixed. Thus, the main motivation for VECoS is to encourage the
cross-fertilization between verification and evaluation approaches,
methods and techniques especially those based on the specification
formalisms for concurrent systems. Beyond its technical and scientific
goals, another main purpose of VECoS is to promote cooperation in
research and education in the area of computer science and engineering
between participants and their institutions.
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 (Markov chains, queueing
networks, stochastic Petri nets, and stochastic process algebras)
- Simulation techniques of discrete-event and hybrid systems
- Dependability assessment techniques
- QoS evaluation, planning and deployment
Submission guidelines
---------------------
Papers must be original contributions that have not been published
previously, nor already submitted to other conferences/journals in
parallel with this workshop. Practical experience reports and tools
descriptions/demonstrations are welcome. Papers should be submitted
electronically via the VECoS 2008 web site by uploading a self-contained
PDF file. Papers should not exceed 12 pages using the Electronic
Workshops in Computing (eWiC) format. The title page must contain a
short abstract and a classification of the topics covered, preferably
using the list of topics above. All submissions will be reviewed by at
least 3 members of the program committee. Accepted papers will be
included in the workshop proceedings available at the conference and
published by the eWiC series of the British Computer Society. For each
accepted paper, at least one author should register for the conference
and plan to present the paper.
Contact
-------
General requests can be sent to VECoS'2008 Co-Chairs:
Karim Djemame : [EMAIL PROTECTED]
Rahma Ben Ayed : [EMAIL PROTECTED]
http://www.comp.leeds.ac.uk/vecos08/
*****************************************************
We apologize in advance if you receive multiple copies of this Call for
Papers. Please feel free to distribute it to those who might be interested.
*****************************************************
----
[[ 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] ]]
