4PAD2018: 5th International Symposium on Formal Approaches to Parallel and Distributed Systems Orléans, France, July 17-20, 2018 |
Conference website | http://hpcs2018.cisedu.info/2-conference/symposia---hpcs2018/symp05-4pad |
Submission link | https://easychair.org/conferences/?conf=4pad |
Abstract registration deadline | April 2, 2018 |
Submission deadline | April 8, 2018 |
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 is affiliated to the 16th International Conference on High Performance Computing & Simulation (HPCS 2018), Orleans, France, July 17-19, 2018.
Topics
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.
Submission Guidelines
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 the page 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.
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).
Important Dates
Abstract Submissions: April 2, 2018
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
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
Contact
All questions about submissions should be emailed to Frederic.Loulergue@nau.edu.