*** Apologies if you receive multiple
copies. ***
*** Please forward to interested
colleagues. ***
Extended deadline : April 8th, 2018
————————————————————————————————————————————————
============================================================
= CALL FOR
PAPERS =
= 5th International Symposium
on =
= Formal Approaches to Parallel and Distributed
Systems =
= (4PAD
2018) =
= affiliated to
the =
= 16th International Conference
on =
= High Performance Computing & Simulation (HPCS
2018) =
= http://hpcs2018.cisedu.info/
=
= Orleans, France, July 17-19,
2018 =
============================================================
http://hpcs2018.cisedu.info/2-conference/symposia---hpcs2018/symp05-4pad
SCOPE AND OBJECTIVES
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).
4PAD topics include (but are not limited to) the
following:
* 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.
PAPER SUBMISSION AND PUBLICATION
You are invited to submit original and unpublished
research works on
above and other topics related to Formal Approaches to
Parallel and
Distributed Systems. Submitted papers must not have
been published or
simultaneously submitted elsewhere until it appears in
HPCS
proceedings, in the case of acceptance, or notified
otherwise. For
Regular papers, please submit a PDF copy of your full
manuscript, not
to exceed 8 double-column IEEE formatted pages per
template, and
include up to 6 keywords and an abstract of no more
than 400 words.
Short papers (up to 4 pages), poster papers and posters
(please refer
to
http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-posters
for posters submission details) will also be
considered. Please
specify the type of submission you have. Please
include page numbers
on all preliminary submissions to make it easier for
reviewers to
provide helpful comments.
Submit a PDF copy of your full manuscript to the
symposium paper
submission site at https://easychair.org/conferences/?conf=4pad.
IMPORTANT DATES
Paper Submissions: April 8, 2018 (extended, firm)
Acceptance Notification: April 26, 2018
Camera Ready Papers and Registration Due by: May 11,
2018
Conference Dates (HPCS and affiliated events): July
16-20, 2018
SPECIAL ISSUE
After the symposium, authors of selected papers will be
invited to
submitted extended version of their papers for possible
publication in
a special issue of the Journal of Logical and Algebraic
Methods in
Programming (JLAMP).
PROGRAM COMMITTEE
Gul Agha University of Illinois at
Urbana-Champaign, USA
Marco Aldinucci University of Torino, IT
Allan Blanchard Inria, FR
Simon Bliudze Inria, FR
Laura Bocchi University of Kent, UK
Jean-Michel Couvreur University of Orleans, FR, chair
Kento Emoto Kyushu Institute of Technology, JP
Gidon Ernst National Institute of Informatics, JP
Joaquin Ezpeleta Universidad de Zaragoza, ES
Ylies Falcone Univ. Grenoble Alpes, Inria, FR
Serge Haddad LSV, ENS Cachan, CNRS, Inria, FR
Ludovic Henrio CNRS, FR
Claude Jard University of Nantes, FR
Igor Konnov Vienna University of Technology, AT
Sandeep Kulkarni Michigan State University, USA
Alberto Lluch Lafuente Technical University of Denmark, DK
Frederic Loulergue Northern Arizona University, USA, chair
Neeraj Mittal The University of Texas at Dallas, USA
Gwen Salaun University of Grenoble Alpes, FR
Sven Schewe University of Liverpool, UK
Elena Sherman Boise State University, USA
Francesco Tiezzi Universita di Camerino, IT
Enrico Tronci Sapienza University of Rome, IT
Emilio Tuosto University of Leicester, UK
