WoSoCer 2014 - 4th International IEEE Workshop on Software Certification

The WoSoCer workshop series brings together researchers, practitioners, companies, domain experts, and regulatory authorities interested in investigating and discussing new strategies, methods, processes, formalisms and techniques for the development and the assessment of safety and security-critical software. Researchers and practitioners from both academia and industry, as well as people from certification authorities, that work on different aspects of software certification, are invited to participate; the workshop aims to foster interactions among these players, and to propose solutions for improving the development of critical systems, as well as the certification process as a whole.
The 2014 edition of WoSoCer is co-located with the 25th IEEE International Symposium on Software Reliability Engineering (www.issre.net), and it will take place in Naples, Italy, in November 3-6.