WoSoCer 2015 - 5th International IEEE Workshop on Software Certification

The WoSoCer workshop series is a forum for discussing novel solutions for the assessment and certification of software in critical systems, and for promoting their adoption through industrial and academic research projects.
In addition to the traditional topics on the certification of safety-critical systems, this edition of the workshop will feature the following special theme: the certification of cloud computing services and infrastructures. This theme is of high-priority for both cloud providers and users, who are concerned with emerging security and privacy aspects of services and data. Therefore, the workshop welcomes contributions that address this important topic (see the call for papers for more information).