Workshops
3rd International Workshop for Formal Methods and Agile Methods (FM+AM 2012)
6th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2012)
1st International Symposium on Innovation and Sustainability in Education (InSuEdu 2012)
1st International Symposium on Modelling and Knowledge Management for Sustainable Development (MoKMaSD 2012)
All workshops have an open call for papers with common deadline 13th of June 2012 for Paper Submission. For more details follow the appropriate link.