CFP VECoS'07

===============================================================
  CALL FOR PAPERS

First International Workshop on Verification and Evaluation
of Computer and Communication Systems - VECoS 2007
May 5-6 2007, Algiers
http://www.isps2007.org/VECoS/site/home.php

Submission deadline extended : 31 January 2007
================================================================

The First International Workshop on Verification and Evaluation of
Computer and Communication Systems (VECoS 2007), will take place in
May 2007.

Topics of interest for submissions include, but are not limited to:

- Model-checking
- Equivalence checking
- Abstraction techniques
- Compositional verification
- Structural verification
- Probabilistic verification
- Control synthesis techniques
- Exact and approximate methods for performance evaluation
- Simulation techniques of discrete-event and hybrid systems
- Dependability assessment techniques
- QoS planning and deployment.

All accepted papers will be included in Workshop Proceedings
published by the Electronic Workshops in Computing (eWiC) Series of
the British Computer Society.

For Conference topics, submission guidelines and all additional and
up-to-date information
please visit http://www.isps2007.org/VECoS/site/home.php

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