WoSoCer 2022

The 12th IEEE International Workshop on Software Certification
Co-located with the ISSRE 2022 hybrid conference
Charlotte, North Carolina, USA, October 31 - November 3, 2022


*********************************************************************************************************************

NOTE: WoSoCer will adopt a hybrid conference model due to the current worldwide situation regarding COVID-19.
The authors of accepted workshop papers can give a remote talk, with no in-person attendance.
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/wosocer2022

### 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.

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

- Certification for virtualized mixed-criticality systems

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.

### Important Dates ###

August 03, 2022: Paper submission
August 09, 2022: Paper submission (extended)
August 21, 2022: Paper notification
August 26, 2022: Camera-ready
October 31 - November 3, 2022: Workshop

### Program Chair ###

Luigi De Simone, Federico II University of Naples, Italy
Nuno Laranjeiro, University of Coimbra, Portugal

### Organizing Commitee ###

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

### Contacts ###

For any information please contact Luigi De Simone (luigi.desimone@unina.it) or Nuno Laranjeiro (cnl@dei.uc.pt)