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)
The registrations for the workshops are now open. More details on the registrations page.