*************************************************************************
            CALL FOR PAPERS: VECoS'2011

           (Deadline extended: June 1, 2011)


5th International Workshop on Verification and Evaluation
      of Computer and Communication Systems

      Tunis, Tunisia, September 15-16, 2011
          http://www.vecos-world.org

*************************************************************************

*** Important dates

- Paper submission deadline: 1 June 2011 (extended)
- Acceptance/rejection notification:  30 June 2011
- Camera-ready version due: 9 July 2010

*** Aims and scope

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. The first edition VECoS'2007 took place in
Algiers, VECoS'2008 in Leeds, VECoS'2009 in Rabat and VECoS'2010 in Paris.

The aim of VECoS workshop is to bring together researchers and practitioners,
in the areas of Verification, Control, Performance, Quality of service,
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 extra functional properties are
strongly interrelated. Thus, the main motivation for VECoS is to encourage the
cross-fertilization between formal verification and evaluation approaches,
methods and techniques especially those based on the specification formalisms
for concurrent, distributed and soft/hard 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, and Performance, Quality of service, 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

*** Invited speakers

- Erol Gelenbe,  ISN Group, Imperial College, London., UK
- Daniel Kroening, Computing Laboratory, University of Oxford, UK
- Jean-Jacques Lesage, Lurpa, ENS Cachan, France

***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
contained in the VECoS 2011 website and should not exceed 12 pages using the
Electronic Workshops in Computing (eWiC) format. Selected papers will be
included in the workshop proceedings available at the conference and 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 related special issue
in International Journal of Critical Computer-Based Systems (IJCCBS) or in
International Journal of Discrete Event Control Systems (IJDECS)

*** For more information see:

 http://www.vecos-world.org or http://vecos.ensta.fr/2011/index.html

or contact PC co-chairs:

Nihal Pekergin, LACL, UPEC, nihal.pekergin@univ-paris12.fr

Tayssir Touili, LIAFA, CNRS & University Paris 7, touili@liafa.jussieu.fr