posted by user: d_l_b || 4988 views || tracked by 9 users: [display]

EWDC 2013 : 14th European Workshop on Dependable Computing

FacebookTwitterLinkedInGoogle

Link: http://ewdc2013.dei.uc.pt/
 
When May 15, 2013 - May 16, 2013
Where Coimbra, Portugal
Submission Deadline Feb 4, 2013
Notification Due Mar 11, 2013
Final Version Due Apr 1, 2013
Categories    dependability   security   software   information security
 

Call For Papers

*************************************************************************
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)

Related Resources

LADC 2020   10th Latin-American Symposium on Dependable Computing
ISSRE 2020   The 31st International Symposium on Software Reliability Engineering
DSN 2020   Dependable Systems and Networks
CCNET 2020   7th International Conference on Computer Networks & Communications
PRDC 2020   The 25th IEEE Pacific Rim International Symposium on Dependable Computing
DASC 2020   The 18th IEEE Int’l Conference on Dependable, Autonomic and Secure Computing
CMLA 2020   2nd International Conference on Machine Learning & Applications
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2020)--Ei Compendex & Scopus
ICSC 2021   International Conference on Semantic Computing
SPIoT 2020   9th International Symposium on Security and Privacy on the Internet of Things