5th IEEE International Workshop on Software Certification (WoSoCer) (special theme: certification of cloud infrastructures and services) The WoSoCer workshop series is a forum for discussing and promote the adoption of novel strategies, methods, processes, formalisms and techniques for the certification of software-intensive systems, able to address the rising complexity of software.