FORMAL APPROACHES TO PARALLEL AND DISTRIBUTED SYSTEMS (4PAD)

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)