4PAD 2015 - SPECIAL SESSION ON FORMAL APPROACHES TO PARALLEL AND DISTRIBUTED SYSTEMS (4PAD 2015)

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.
Topics
We solicit papers in all areas of the above mentioned systems, including (but not limited to):
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;