[agents] Reminder: 4PAD special track @ PDP 2017

[Simon Bliudze]

Only 1 week left until the final deadline!


On 09/27/2016 11:35 AM, Simon Bliudze wrote:
> == 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
> ======================================================================
>
> ***********************************
> *                                 *
> * Submission deadline extended to *
> * *12th October 2016*        *
> *             (final)             *
> ***********************************
>
> Updates
> =======
>
> - program committee
> - double-blind review policy
> - links to LaTeX and MS Word templates
>
>
> Important dates
> ===============
>
> Paper submission: **12th Oct 2016**
> Acceptance notification: 15th Nov 2016
> Camera ready due:        25th Nov 2016
> Registration:            30th Nov 2016
> Conference:             6-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)
>