CFP: 4PAD special track @ PDP 2017 - Deadline Extension

CALL FOR PAPERS - Final Deadline extended to October 12, 2016

4th PDP special session on FORmal approaches to PArallel and Distributed systems (4PAD 2017)

St. Petersburg, Russia | 6-8 March 2017 | http://www.pdp2017.org/4pad.html

Please notice the following updates:
- program committee
- double-blind policy
- links to LaTeX and MS Word templates

Important dates

• Paper submission - extended: *12th Oct 2016*
• Acceptance notification: 25th Oct 2016
• Camera ready due: 20th Nov 2016
• Conference: 6th - 8th Mar 2017

Scope

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).

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, 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.

Submission guidelines

Prospective authors should submit a full paper not exceeding 8 pages in the Conference proceedings format (double-column, 10pt) to the conference main track through the EasyChair conference submission system. Although clearly marked appendices going beyond the 8 page limit are allowed, they will only be taken into account at the reviewers' discretion. Submissions should remain self-contained with the appendices omitted.

LaTeX and MS Word templates:

http://www.ieee.org/conferences_events/conferences/publishing/templates.html

EasyChair submission site: http://www.easychair.org/conferences/?conf=pdp2017

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. "We build on the work of..." instead of "We build on our previous work...").

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).

Proceedings

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, CDSL 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 (JLAMP).

Additional information about the journal:
http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming

Session Chairs

• Simon Bliudze (EPFL, Switzerland)
• Borzoo Bonakdarpour (McMaster University, Canada)

Program Committee

• Gul Agha (University of Illinois, US)
• Michele Amoretti (SITEIA.PARMA - University of Parma, IT)
• Farhad Arbab (CWI/University of Leiden, NL)
• Lacramioara Astefanoaei (FORTIS, DE)
• Paul Attie (American University of Beirut, LB)
• Simon Bliudze (Ecole polytechnique federale de Lausanne, CH)
• Laura Bocchi (University of Kent, UK)
• Borzoo Bonakdarpour (McMaster University, CA)
• Albert Cohen (INRIA/Ecole Normale Superieure - Paris, FR)
• Fathiyeh Faghih (McMaster University, CA)
• Ludovic Henrio (CNRS, FR)
• Marieke Huisman (University of Twente, NL)
• Swen Jacobs (Saarland University, DE)
• Peter Kilpatrick (Queen's University Belfast, UK)
• Igor Konnov (Vienna University of Technology, AT)
• Sandeep Kulkrani (Michigan State University, US)
• Alberto Lluch Lafuente (Technical University of Denmark, DK)
• Frederic Loulergue (University of Orleans, FR)
• Neeraj Mittal (University of Texas at Dallas, US)
• Anca Muscholl (LaBRI, University of Bordeaux, FR)
• Sergio Rajsbaum (Universidad Nacional Autonoma de Mexico, MX)
• Gwen Salaun (INRIA/University of Grenoble Alpes, FR)
• Sven Schewe (University of Liverpool, UK)
• Elena Sherman (Boise State University, US)
• Francesco Tiezzi (University of Camerino, IT)
• Sebastien Tixeuil (Universite Pierre et Marie Curie - Paris 6, FR)
• Enrico Tronci (Sapienza University of Rome, IT)
• Emilio Tuosto (University of Leicester, UK)