[TYPES/announce] CfP: FORMAL APPROACHES TO PARALLEL AND DISTRIBUTED SYSTEMS (4PAD)

[Frédéric Loulergue]

CALL FOR PAPER

FORMAL APPROACHES TO PARALLEL AND DISTRIBUTED SYSTEMS (4PAD)

4PAD 2016 (http://www.pdp2016.org/SS2.html) is a Special Session of PDP 2016 
Conference (http://www.pdp2016.org/) to be held in Heraklion Crete, Greece, 
17th-19th February 2016.


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
     Energy-efficient networking and data storage
     Programming languages, paradigms and tools for energy-efficient software design

Important Dates:

Paper submission: 9 August 2015
Acceptance notification: 19 October 2015
Camera ready due: 10 November 2015
Conference: 17-19 February. 2016

Session Chairs:

Frédéric Loulergue (Université d'Orléans, France)
Enrico Tronci (Sapienza University of Rome, Italy)