[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CfP: European Workshop on Dependable Computing (EWDC 2009)

(My apologies to those who receive multiple copies of this call. -hp)



12th European Workshop on Dependable Computing (EWDC 2009)
Toulouse, France, 14-15 May 2009

Special theme: Software Verification and Assessment

EWDC aims to be a European forum for researchers and practitioners who are
working in the field of dependable computing.
The first issue was organized in 1989, in Toulouse. It took place on a
yearly basis until 2000.
This year, the steering Committee of EDCC (European Dependable Computing
Conference) has decided to revive EWDC.
EDCC and EWDC will be run alternatively. As the next EDCC edition is in
2010, the workshop is planned in 2009. It will be hosted in Toulouse to
celebrate the twentieth anniversary of the first issue.

EWDC 2009 will focus on software verification and assessment. This
encompasses all activities to provide evidence of the dependability and
security of software artefacts. Accordingly, topics of interest include,
but are not limited to:

- Specification and design methodologies, e.g., model-based,
component-based, refinement-based approaches
- Formal verification of code or models
- Software testing
- Simulation
- Software metrics and measurements
- Analytical and experimental evaluation
- Fault-injection
- Benchmarking
- Safety cases, trust cases
- Case studies of any of the above topics
- Supporting tools

Authors are invited to submit either short papers (2 pages in IEEE style)
or full papers (6-8 pages in IEEE style). This should offer the greatest
flexibility to present novel work/ideas at varying degrees of maturity.
Submissions must be made electronically (in PDF format) via the web site link.
The workshop proceedings will be made permanently accessible and
referenceable via the HAL open archive system


Submission: 18 February 2009
Notification: 1 April 2009
Camera ready: 15 April 2009
Workshop venue: 14-15 May 2009


EWDC 2009 is hosted by LAAS-CNRS, and sponsored by the following institutions:

  * SEE Working Group "Dependable Computing", France
  * AICA Working Group "Dependability of Computer Systems", Italy
  * GI/ITG/GMA TC on Dependability and Fault Tolerance, Germany
  * ReSIST, a European Network of Excellence