https://dirkriehle.com/2013/05/09/call-for-papers-7th-international-workshop-on-foundations-and-techniques-for-open-source-software-certification-opencert-2013/
Call for Papers: 7th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2013)