posted by organizer: albertolluch || 1872 views || tracked by 10 users: [display]

4PAD 2015 : 2nd special session on FORmal approaches to PArallel and Distributed systems

FacebookTwitterLinkedInGoogle

Link: http://www.pdp2015.org/specialsessions/formalhpc/index.html
 
When Mar 4, 2014 - Mar 6, 2014
Where Turku, Finland
Submission Deadline Aug 25, 2014
Notification Due Oct 25, 2014
Final Version Due Nov 10, 2014
Categories    formal methods   distributed systems   parallel computation   network computing
 

Call For Papers

== CALL FOR PAPERS ==================================================
2nd special session on FORmal approaches to PArallel and Distributed systems (4PAD 2015)
Turku, Finland, 4-6 March 2015
(special session of PDP 2015)
http://www.pdp2015.org/specialsessions/formalhpc/index.html
=====================================================================


Important dates
===============
Paper submission: 25th Aug 2014
Acceptance notification: 25th Oct 2014
Camera ready due: 10th Nov 2014
Conference: 4th - 6th Mar 2015

Scope
=====
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.


Submission guidelines
================
Prospective authors should submit a full paper not exceeding 8 pages in the
IEEE Conference proceedings format
(http://www.ieee.org/conferences_events/conferences/publishing/templates.html,
IEEEtran, double-column, 10pt). Additional details and proofs omitted due to
space limitations may be included in a clearly marked appendix.

Submitted papers must describe work unpublished in refereed venues, and not
submitted for publication elsewhere.

4PAD will employ a lightweight double-blind reviewing process (following
several recent conferences, for example, POPL http://popl.mpi-sws.org/2014/).
To facilitate this, submitted papers must adhere to two rules:
- author names and institutions must be omitted, and
- references to authors' own related work should be in the third person (e.g.,
not "We build on our previous work ..." but rather "We build on the work of
...").

The purpose of this is to help the PC and external reviewers come to an initial
judgement about the paper without bias, not to make it impossible for them to
discover the authors if they were to try. Nothing should be done in the name of
anonymity that weakens the submission or makes the job of reviewing the paper
more difficult (e.g., important background references should not be omitted or
anonymized, and submitted papers may be posted to author web pages etc. as
usual).

Proceedings
==========
Proceedings will be published by IEEE Computer Society in the same volume as
the main track. Authors of accepted papers are expected to register and present
their papers at the Conference. Conference proceedings will be indexed, among
others, by IEEE explore, DBLP, Scopus ScienceDirect, and ISI Web of Knowledge.

Special Issue
==========
Selected papers will be invited for publication in a special issue of the
Journal of Logical and Algebraic Methods in Programming
(http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming)


Session Chairs
============
Mads Dam (KTH, Sweden)
Scott Owens (University of Kent, UK)


Program Committee
===============
Gul Agha (University of Illinois, USA)
Michele Amoretti (University of Parma, Italy)
Jiri Barnat (Masaryk University, Czech Republic)
Christoph Baumann (Saarland University, Germany)
Brijesh Dongol (University of Sheffield, UK)
Marieke Huisman (University of Twente, Netherlands)
Bart Jacobs (KU Leuven, Belgium)
Peter Kilpatrick (Queen's University Belfast, UK)
Alexander Knapp (University of Augsburg, Germany)
Ivan Lanese (University of Bologna/INRIA, Italy)
Alberto Lluch Lafuente (IMT Institute for Advanced Studies, Italy)
Anil Madhavapeddy (University of Cambridge, UK)
Arnd Poetzsch-Heffter (University of Kaiserslautern, Germany)
Tom Ridge (University of Leicester, UK)
Sven Schewe (University of Liverpool, UK)
Thomas Sewell (NICTA, Australia)
Enrico Tronci (Sapienza University of Rome, Italy)
Emilio Tuosto (University of Leicester, UK)
Viktor Vafeiadis (MPI-SWS, Germany)
Andrea Vandin (University of Southampton, UK)

Related Resources

Euro-Par 2018   European Conference on Parallel Processing
HPDC 2018   The 27th International ACM Symposium on High-Performance Parallel and Distributed Computing (HPDC'18)
IoT-Education 2018   Special Session on The Internet of Things for Educators and Learners - Within the 13th International Conference on Evaluation of Novel Approaches to Software Engineering-ENASE 18
LICS 2018   Logic in Computer Science
FM 2018   22nd International Symposium on Formal Methods
IPDPS 2018   32nd IEEE International Parallel and Distributed Processing Symposium
IJESA 2017   International Journal of Embedded Systems and Applications
ParLearning 2018   The 7th International Workshop on Parallel and Distributed Computing for Large Scale Machine Learning and Big Data Analytics
HPDC 2018   The 27th International ACM Symposium on High-Performance Parallel and Distributed Computing (HPDC'18)
IDC 2018   12th International Symposium on Intelligent Distributed Computing