ForMASSEC 2012 - Extended Deadline

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

http://traclifo.univ-orleans.fr/PaPDAS/wiki/ForMASECC2012

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