posted by user: frederic_loulergue || 616 views || tracked by 3 users: [display]



When Feb 17, 2016 - Feb 19, 2016
Where Heraklion Crete, Greec
Submission Deadline Aug 9, 2015
Notification Due Oct 9, 2015

Call For Papers

4PAD 2016 ( is a Special Session of PDP 2016 Conference ( 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).


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)

Related Resources

IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
HPDC 2017   The 26th International ACM Symposium on High-Performance Parallel and Distributed Computing
IPDPS 2017   31st IEEE International Parallel & Distributed Processing Symposium
AURO-DR 2017   Autonomous Robots special issue on Distributed Robots: From Fundamentals to Applications
ICFNDS 2017   The 2017 International Conference on Future Networks and Distributed Systems (ICFNDS 2017)
ENASE 2017   12th International Conference on Evaluation of Novel Approaches to Software Engineering
PARCOMPTECH 2017   National Conference on Parallel Computing Technologies PARCOMPTECH 17
PDP 2017   The 25th Euromicro International Conference on Parallel, Distributed and Network-Based Processing
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems
PDCAT 2016   The 2016 17th International Conference on Parallel and Distributed Computing, Applications and Technologies