Special Session on:

Formal Approaches to Parallel and Distributed Systems (4PAD)

The aim of 4PAD is to foster interaction between the formal methods communities and systems researchers working on topics in modern parallel, distributed, and network-based processing systems (e.g., autonomous computing systems, cloud computing systems, service-oriented systems and parallel computing architectures).


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, adaptation/evolution, reconfiguration, and monitoring;
  • Case studies developed/analyzed with formal approaches;
  • Formal stochastic models and analysis;
  • Formal methods for large-scale distributed systems;
  • Statistical analysis techniques based on formal approaches.

Important dates

Paper submission: 25th Aug. 2014, 1st Sept. 22nd Sept. 2014
Acceptance notification: 25th Oct. 2014 2nd Nov. 2014
Camera ready due: 20th Nov 2014
Registration due: 20th Nov. 2014
Conference: 4th - 6th Mar 2015


Programme Committee:


Submission of Papers:

Prospective authors should submit a full paper not exceeding 8 pages in the Conference proceedings format (double-column, 10pt) to the conference main track or to Special Sessions through the EasyChair conference submission system (http://www.easychair.org/conferences/?conf=pdp2015) with an indication of the main track or the name of the Special Session.

4PAD will employ a lightweight double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules:

  • author names and institutions must be omitted, and
  • references to authors' own related work should be in the third person (e.g., not "We build on our previous work ..." but rather "We build on the work of ...").
The purpose of this is to help the PC and external reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized, and submitted papers may be posted to author web pages etc. as usual).

Manuscript submission


All accepted papers will be included in the same volume, published by the Conference Publishing Services (CPS). The Final Paper Preparation and Submission Instructions will be published after the notification of acceptance. Authors of accepted papers are expected to register and present their papers at the Conference. Conference proceedings will be submitted to IEEE explore, CSDL, and for indexing among others to DBLP, Scopus ScienceDirect, and ISI Web of Knowledge.

Special Issue

Selected papers will be invited for publication in a special issue of the Journal of Logical and Algebraic Methods in Programming (Flyer).


Mads Dam
Scott Owens

School of Computer Science and Communication
KTH Royal Institute of Technology
Stockholm, Sweden
e-mail: mfd at kth.se

School of Computing
University of Kent
Canterbury, United Kingdom
e-mail: S.A.Owens at kent.ac.uk

Steering Committee