Formal Methods and Automated Software Engineering for Cloud Computing Affiliated to the 12th International Conference on Algorithms and Architectures for Parallel Processing Fukuoka, Japan, September 04-07, 2012 Regular Research Paper Submission: May 18, 2012 (extended deadline, firm) Work-in-Progress Paper Submission: May 25, 2012 (extended deadline, firm) Notification of Acceptance: June 15, 2012 Camera-Ready Paper: June 28, 2012