[agents] 2nd CFP: 4PAD special track @ PDP 2017

[Simon Bliudze]

== CALL FOR PAPERS ===================================================
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: 25th Aug 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 (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)
Roderick Bloem (Graz University of Technology, AT)
Laura Bocchi (University of Kent, UK)
Borzoo Bonakdarpour (McMaster University, CA)
Albert Cohen (INRIA/Ecole Normale Superieure - Paris, FR)
Fathiyeh Faghih (McMaster University, CA)
Yliès Falcone (University of Grenbole Alpes, FR)
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)
Frédéric Loulergue (Northern Arizona University, US)
Neeraj Mittal (University of Texas at Dallas, US)
Anca Muscholl (LaBRI, University of Bordeaux, FR)
Sergio Rajsbaum (Universidad Nacional Autonoma de Mexico, MX)
Gwen Salaün (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 (Université Pierre et Marie Curie - Paris 6, FR)
Enrico Tronci (Sapienza University of Rome, IT)
Emilio Tuosto (University of Leicester, UK)