posted by user: d_l_b || 5367 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

CFMAI 2022   2022 4th International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2022)
IJPLA 2022   International Journal of Programming Languages and Applications
DSN 2022   The 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks
BIOM 2022   2nd International Conference on Big Data, IoT and Machine Learning
ISCAI 2022   2022 4th International Symposium on Computing and Artificial Intelligence (ISCAI 2022)
SCOM 2022   10th International Conference on Soft Computing
ECNLPIR 2022   2022 European Conference on Natural Language Processing and Information Retrieval (ECNLPIR 2022)
CLBD 2022   3rd International Conference on Cloud and Big Data
IEEE DSC 2022   The 2022 IEEE Conference on Dependable and Secure Computing
ECMLPKDD 2022   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases