The aim of this special session is to foster the recent convergence on research interests from several communities investigating modern parallel, distributed, and network-based processing systems such as autonomic computing systems, cloud computing systems, service-oriented systems and parallel computing architectures.

• Rigorous software engineering approaches and their tool support;
• Model-based approaches, including model-driven development;
• Service- and component-based approaches;
• Semantics, types and logics;
• Formal specification and verification;
• Performance analysis based on formal approaches;
• Formal aspects of programming paradigms and languages;
• Formal approaches to parallel architectures and weak memory models;
• Formal approaches to deployment, run-time analysis, reconfiguration, and monitoring;
• Parallel and distributed verification;
• Case studies developed/analyzed with formal approaches;