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

DSN 2019   Dependable Systems and Networks
SP 2020   IEEE Symposium on Security and Privacy
DSN 2020   Dependable Systems and Networks
CBIoT 2020   International Conference on Cloud, Big Data and IoT
IEEE COINS 2020   Internet of Things IoT | Artificial Intelligence | Machine Learning | Big Data | Blockchain | Edge & Cloud Computing | Security | Embedded Systems | Circuit and Systems | WSN | 5G
ISCAI 2020   2020 2nd International Symposium on Computing and Artificial Intelligence (ISCAI 2020)
ASIACCS 2020   ACM ASIACCS 2020 : The 15th ACM ASIA Conference on Computer and Communications Security
DASC 2020   The 18th IEEE Int’l Conference on Dependable, Autonomic and Secure Computing
ICCSEA 2019   9th International Conference on Computer Science, Engineering and Applications
FAIML 2020-Ei Compendex & Scopus 2020   2020 2nd International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2020)