*************************************************************************
Call for Papers
EWDC 2013 - 14th European Workshop on Dependable Computing
Special Theme: Dependable and Secure Software and Services
15-16 May 2013
http://ewdc2013.dei.uc.pt/
*************************************************************************

This workshop aims to be a European forum for researchers and practitioners
who are working in the field of dependable computing. After the first series,
started in 1989 and held on a yearly basis until 2000,
EWDC was recently revived with the 2009 edition in Toulouse. EWDC will be
run alternatively with EDCC (European Dependable Computing Conference). As
the next EDCC edition is in 2014, the workshop is planned in 2013 and will be
hosted in Coimbra, Portugal.

EWDC 2013 will focus on dependability and security of software and services.
This is a challenging theme, especially when considering that information systems
are more and more based on complex, heterogeneous, dynamic software and
services, which are characterized by demanding quality attributes. Interoperability
in presence of dependability and security guarantees, as well as techniques and
tools to assess the impact of accidental and malicious threats are among the
crucial aspects to be addressed.

Accordingly, topics of interest include, but are not limited to:

- Architecture, design and management of dependable and secure software and
services
- Specification and design methodologies, e.g., model-based, component-based,
refinement-based approaches
- Metrics for quantifying dependability and security
- Dependability and security benchmarking
- Verification and validation for dependability and security evaluation
- Formal verification, testing, analytical and experimental evaluation
- Off-line versus on-line dependability and security assessment
- Case studies illustrating challenges and solutions in designing dependable and
secure software and services
- Design and use of supporting tools


--- Submission information
Authors are invited to submit both short papers and full papers. This should offer the
greatest flexibility to present novel work/ideas at varying degrees of maturity.
The papers accepted and presented at the workshop will be published in a workshop
volume of proceedings.

Address for paper submission:
http://senldogo0039.springer-sbm.com/ocs/home/EWDC2013


--- Important Dates
Submission: Feb. 4th, 2013
Notification: March 11th, 2013
Camera Ready: April 1st, 2013
Workshop date: 15-16 May 2013

Workshop Chair: Marco Vieira (mvieira@dei.uc.pt)