The success of key human activities ranging from research and business to everyday services relies on the use of ever more sophisticated, feature-rich and complex computer systems. These complex computer systems are regularly required to accomplish more, faster and on a broader scale, to adapt dynamically to changing workloads, scenarios and objectives, and to achieve guaranteed levels of performance and dependability. Satisfying such demanding requirements in the presence of the variability, heterogeneity and non-linear behaviour that characterise complex computer systems poses numerous challenges to both their developers and their users.

The aim of the conference is to bring together researchers, practitioners and leading experts from academia and industry, to advance the state of the art in the specification, development, validation and verification, and management of complex computer systems. Authors are invited to submit full papers describing original, unpublished research results, case studies and tools; and poster papers describing ongoing and PhD research. Topics of interest include but are not limited to the following aspects of complex computer systems:

• Requirement specification and analysis
• Verification and validation
• Model-driven development
• Reverse engineering and refactoring
• Design by contract
• Agile methods
• Safety-critical & fault-tolerant architectures
• Adaptive, self-managing and multi-agent systems
• Real-time, hybrid and embedded systems
• Systems of systems
• Tools and tool integration
• Industrial case studies