posted by organizer: ldesi || 2584 views || tracked by 2 users: [display]

WoSoCer 2020 : The 10th IEEE International Workshop on Software Certification Co-located with the ISSRE 2020 conference

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/view/wosocer2020
 
When Oct 12, 2020 - Oct 15, 2020
Where Coimbra
Submission Deadline Aug 13, 2020
Notification Due Aug 21, 2020
Final Version Due Aug 28, 2020
Categories    software reliability   software certification   dependability
 

Call For Papers

WoSoCer 2020

The 10th IEEE International Workshop on Software Certification
Co-located with the ISSRE 2020 full-virtual conference
12-15 October 2020

****

NOTE: This year, ISSRE (and all its workshops) will be held as a full-virtual conference
due to the current worldwide situation regarding COVID-19.
Accepted peer-reviewed papers will be still included in a supplemental
volume of the ISSRE conference proceedings, published by the IEEE Computer Society on IEEE Xplore.

****

Website: https://sites.google.com/view/wosocer2020

### Call for Papers ###

The WoSoCer workshop is a forum to discuss novel solutions for the assessment and
certification of software in critical systems, and to promote their adoption through
industrial and academic research projects.

We welcome contributions related to any area of critical software systems and certification.
Besides, this edition of the workshop encourages contributions to a special theme in security
and privacy certification, e.g., certification with respect to privacy concerns in the context of COVID-19 tracing apps.

Topics of interest include (but are not limited to):

- Certification and assurance of systems and services

- Certification of software for emerging technological trends, including dynamic, autonomic, large-scale, and distributed systems

- Certification of third-party components, software reuse, and open-source software across systems and services

- Certification and best practices of software development processes in safety- and security-critical domains

- Quantitative and qualitative evaluation of system dependability and resilience

- Economics of certification and standards

- Adoption of emerging technologies and best practices in safety- and security-critical domains

- Open issues, practical experiences, and real-world case studies

- Cross-fertilization between safety and security certification and standards

- Certification in AI-based and ML systems

- Certification for Cyber-Security

Since 2011, WoSoCer has been a satellite event of the IEEE International Symposium on Software Reliability Engineering (ISSRE),
a premier conference that emphasizes both academic excellence and industry impact.

Accepted peer-reviewed papers will be included in a supplemental volume of the ISSRE conference proceedings, published
by the IEEE Computer Society on IEEE Xplore.

***
***

This year, extended, peer-reviewed versions of the best papers will be invited for potential publication in a special
issue of a high-impact journal (more information will be provided soon on the website).

***
***

### Important Dates ###

August 03, 2020: Paper submission
August 21, 2020: Paper notification
August 28, 2020: Camera ready
October 12 - 15, 2020: Workshop

### Program Chair ###

Luigi De Simone, Federico II Univ. of Naples, Italy

### Organizing Commitee ###

Luigi De Simone, Federico II Univ. of Naples, Italy
Barbara Gallina, Mälardalen Univ., Sweden
Roberto Natella, Federico II Univ. of Naples, Italy
Roberto Pietrantuono, Federico II Univ. of Naples, Italy
Nuno Silva, CRITICAL Software S.A., Portugal

### Contacts ###

For any information please contact luigi.desimone@unina.it

Related Resources

IEEE ICCC 2024   IEEE--2024 the 10th International Conference on Computer and Communications (ICCC 2024)
JSS VSI:AI-testing-and-analysis 2024   [JSS - Elsevier] Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems
STRL 2024   The 3rd International Workshop on Spatio-Temporal Reasoning and Learning
LADC 2024   Latin-American Symposium on Dependable and Secure Computing
VehicleSec 2024   Call for Papers: ISOC Symposium on Vehicle Security and Privacy (VehicleSec 2024) Co-located with NDSS 2024, San Diego, CA
IEEE BSC 2024   IEEE International Workshop on Blockchain and Smart Contracts
AIVR4Exergame 2024   Workshop on AI and AR/VR for Exergaming (AIVR4Exergame): co-located with IEEE AIxVR 2024
ICDM 2024   IEEE International Conference on Data Mining
IEEE BigData 2024   2024 IEEE International Conference on Big Data
IEEE AIxVR 2024   IEEE International Conference on Artificial Intelligence & extended and Virtual Reality