VECoS 2009
Located At:





Useful Links

Workshop Program

The program of worhshop is now available.

Please click here to access the workshop program.

Registration has now opened

You can now register.

Please click here to access to the workshop registration form.

Accepted papers

The list of the accepted papers has been plublished.

Please click here to access to the list of the accepted papers.

Extended deadline

Submission deadline for VECoS 2009 papers has been extended to April, 10

The submission is now opened.

To submit a paper click here.

Keynotes for VECoS '2009

This year, the VECoS will feature 4 Keynote speakers of international renommee:
  • Mario Bravetti, Universita di Bologna, Italy
  • Assaf Kfoury, Boston University, USA
  • Guy Juanole, LAAS Toulouse, France
  • Joel Ouaknine, Oxford University, United Kingdom

Welcome to VECoS 2009

3rd International Workshop on Verification and Evaluation of Computer and Communication Systems

Rabat, Morroco
July, 2-3, 2009

The VECoS'2009 Workshop will be held in the city of Rabat in Morroco. It will be hosted by the laboratory of mathematics, computer science & Applications (MIA) at the Faculté des sciences Mohammed V University-Agdal.

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 tooks place in Algiers 5-6 May 2007 (VECoS'2007), the second edition in Leeds 2-3 July 2008 ( VECoS'2008). 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.

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

Application domains

Mobile systems, wireless communication, sensor networks , network protocols, internet telephony, real-time video, peer-to-peer systems, autonomous systems, adaptive systems, distributed and fault-tolerant systems, embedded systems, web based systems, safety-critical systems, architecture of computer hardware and systems software, grid computing, enterprise information systems, automated manufacturing and transportation systems.

Emphasized emerging domains

With this third edition of VeCOS 2009, we will start to encourage some emerging topics and will organize some events around the following three domains:

  • Verification and Evaluation of Web Services
  • Verification and Evaluation for Wireless Systems & Networks
  • Verification and Performance Evaluation of Embedded and Integrated Systems Design

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 2009 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.

Important dates

  • Submission deadline for VECoS 2009 papers: Mars, 30 2009Extended to April, 10
  • 15 May 2009: Notification of acceptance
  • 31 May 2009: Final version of papers due