1st special session on FORmal approaches to PArallel and Distributed systems (4PAD 2014)

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.


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;

Accepted papers

  • Ana Almeida Matos and Jan Cederquist. Distributed Noninterference
  • Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski and Marina Zaharieva-Stojanovski. Formal Specifications for Java's Synchronisation Classes
  • Michele Amoretti, Alessandro Grazioli, Valerio Senni, Francesco Tiezzi and Francesco Zanichelli. Towards a Formal Approach to Mobile Cloud Computing
  • Jiri Barnat, Petr Bauch and Vojtěch Havel. Model Checking Parallel Programs with Inputs
  • Mario Coppo, Mariangiola Dezani-Ciancaglini and Betti Venneri. Self-Adaptive Monitors for Multiparty Sessions
  • Mads Dam and Karl Palmskog. Location Independent Routing in Process Network Overlays
  • Seyed Hossein Haeri and Sibylle Schupp. Distributed Lazy Evaluation: A Big-Step Mechanised Semantics
  • Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti and Enrico Tronci. System Level Formal Verification via Distributed Multi-Core Parallel Hardware in the Loop Simulation
  • Nicholas Ng and Nobuko Yoshida. Pabble: Parameterised Scribble for Parallel Programming
  • Sung-Shik T.Q. Jongmans, Francesco Santini and Farhad Arbab. Partially-Distributed Coordination with Reo

Important dates

Abstract submission: 25th August 2013 1st September 2013
Paper submission: 1st September 2013 8th September 2013
Acceptance notification: 7th Oct 2013 21st Oct 2013
Camera ready due: 31st Oct 2013 21st Nov 2013
Conference: 12th - 14th Feb 2014


Programme Committee:

  • Michele Amoretti, SITEIA.PARMA - University of Parma (Italy)
  • Jiri Barnat, Masaryk University (Czech Republic)
  • Massimo Bartoletti, University of Cagliary (Italy)
  • Stefan Edelkamp, University of Bremen (Germany)
  • Peter Kilpatrick, Queen's University Belfast (UK)
  • Alexander Knapp, University of Augsburg (Germany)
  • Scott Owens, University of Kent (UK)
  • Luca Padovani, University of Torino (Italy)
  • Matteo Pradella, Politecnico di Milano (Italy)
  • Tom Ridge, University of Leicester (UK)
  • Mirco Tribastone, Ludwig-Maximilians-Universität München (Germany)
  • Petr Tuma, Charles University (Czech Republic)
  • Andrea Vandin, IMT Institute for Advanced Studies Lucca (Italy)
  • Vasco Vasconcelos, University of Lisbon (Portugal)
  • Anton Wijs, Eindhoven University of Technology (The Netherlands)
  • Eugenio Zimeo, University of Sannio (Italy)

Submission guidelines

Papers should be sent in PDF format using the IEEE Conference proceedings format (IEEEtran, double-column, 10pt). The length of the papers cannot exceed 8 pages. Additional details and proofs omitted due to space limitations may be included in a clearly marked appendix.

Submitted papers must describe work unpublished in refereed venues, and not submitted for publication elsewhere.

Double-bind review: authors must take care of not revealing their identities and institutions. The first page of the paper should contain the title and abstract, but not the author names and affiliations. Relevant references to an author's previous research should not be suppressed, but instead referenced in a neutral way.

Papers are to be submitted through EasyChair at:



Proceedings will be published by the Conference Publishing Services (CPS) in the same volume of the main track. Authors of accepted papers are expected to register and present their papers at the Conference. Conference proceedings will be submitted for inclusion in Xplore and the CSDL, and for indexing, among others, to DBLP, Scopus ScienceDirect, and ISI Web of Knowledge.

Special Issue

We plan to publish a special issue on an indexed journal, in collaboration with the 10th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing.


EATCS logo


Alberto Lluch Lafuente
IMT Institute for Advanced Studies, Lucca - Italy
E-mail: alberto.lluch@imtlucca.it
Tel: +39 3334186635
Fax: +39 0583 4326565

Emilio Tuosto
Dept. of Computer Science
University of Leicester - UK
E-mail: et52@mcs.le.ac.uk
Tel: +44 (0)116 252 5392
Fax: +44 (0)116 252 3915