FORMAL APPROACHES TO PARALLEL AND DISTRIBUTED SYSTEMS (4PAD 2016)

February 17-19 2016 

Heraklion Crete, Greec

Call For 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).

Topics

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:  Oct 10,2015 

                       

Notification of acceptance:Nov 03,2015 

           

Final manuscripts due:Nov 24,2015 

                       

Conference dates:February 17-19 2016 

User Name : MANI
Posted on

Related CFPs

IJCACS   International Journal of Control, Automation, Communication and Systems