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

4PAD 2016 : FORMAL APPROACHES TO PARALLEL AND DISTRIBUTED SYSTEMS

FacebookTwitterLinkedInGoogle

Link: http://www.pdp2016.org/SS2.html
 
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 (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)

Related Resources

PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
ISPDC 2024   23rd International Symposium on Parallel and Distributed Computing
Philosophical Approaches to Games and Ga 2024   Call For Papers - Philosophical Approaches to Games and Gamification: Ethical, Aesthetic, Technological and Political Perspectives
SNPD 2024   27th ACIS International Summer Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
NovelIQA 2024   Novel Approaches to Image Quality Assessment
Dialogical Approaches to the Sphere ‘in 2024   Call For Papers - Dialogical Approaches to the Sphere ‘in-between’ Self and Other: The Methodological Meaning of Listening
LChange 2024   LChange 2024 : 5th International Workshop on Computational Approaches to Historical Language Change
PDCTA 2024   13th International Conference on Parallel, Distributed Computing Technologies and Applications
IJP2P 2024   International Journal of Peer-to-Peer networks
LLVM-GPU 2024   LLVM-GPU: First International Workshop on LLVM for GPUs