ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

4PAD 2018 - 5th International Symposium on Formal Approaches to Parallel and Distributed Systems

Date2018-07-16 - 2018-07-20

Deadline2018-03-12

VenueOrleans, France France

Keywords

Websitehttp://hpcs2018.cisedu.info/2-conference...ymp05-4pad

Topics/Call fo Papers

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.

Last modified: 2018-02-19 15:10:57