Welcome to the 3rd edition of the IEEE International Workshop on Software Certification (WoSoCer2013)

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 2013 edition of WoSoCer is co-located with the 24th IEEE International Symposium on Software Reliability Engineering (ISSRE), and it will take place in Pasadena, CA, USA, in November 4-7.


This edition of WoSoCer is supported by the CECRIS FP7 project (CErtification of CRItical Systems).

For any question, contact us at  wosocer2013 AT easychair.org


November 27, 2013 - Talk presentations have been uploaded (link to webpage)

October 7, 2013 - WoSoCer 2013 Program has been published (link to webpage)

August 30, 2013 - The paper submission deadline has been extended to September 4

August 27, 2013 - Keynote talk by Jeffrey Voas announced (link to webpage)

June 20, 2013 - Keynote talk by Martin Feather announced (link to webpage)

June 10, 2013 - The call for papers has been released (link to PDF)

Joomla templates based on a4joomla-countryside

Please be aware that this website uses cookies.