Print

---

Our apologies for multiple reception of this message.


===============================================================
  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: 25 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

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