posted by user: hossein_haeri || 1792 views || tracked by 5 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, Greece
Submission Deadline Aug 9, 2015
Notification Due Oct 19, 2015
Final Version Due Nov 10, 2015
Categories    parallelism   distributed systems   formal methods   semantics
 

Call For Papers

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)

Related Resources

ICPADS 2017   International Conference on Parallel and Distributed Systems
OPODIS 2017   OPODIS 2017 Call for Papers
PDP 2018   The 26th Euromicro International Conference on Parallel, Distributed and Network-Based Processing
HVC 2017   Haifa Verification Conference
PDAA 2017   9th International Workshop on Parallel and Distributed Algorithms and Applications
IEEE ISPA 2017   15th IEEE International Symposium on Parallel and Distributed Processing with Applications
ICON 2017   14th International Conference on Natural Language Processing
SKG 2017   The 13th International Conference on Semantics, Knowledge and Grids on Data
Habits 2018   Call for Book Chapters (Routledge): HABITS AND ROUTINES - PHILOSOPHICAL, PSYCHOLOGICAL AND ORGANIZATIONAL APPROACHES TO AUTOMATIC ACTIONS
IEICE Trans D Form Appr 2018   Special Section on Formal Approaches at IEICE Transactions on Information and Systems