posted by organizer: albertolluch || 4369 views || tracked by 14 users: [display]

4PAD 2014 : 1st special session on FORmal approaches to PArallel and Distributed systems

FacebookTwitterLinkedInGoogle

Link: http://www.pdp2014.org/specialsessions/formalhpc/index.html
 
When Feb 12, 2014 - Feb 12, 2014
Where Turin, Italy
Abstract Registration Due Sep 1, 2013
Submission Deadline Sep 8, 2013
Notification Due Oct 7, 2013
Final Version Due Oct 31, 2013
Categories    formal methods   distributed systems   parallel computation   software engineering
 

Call For Papers

== CALL FOR PAPERS ===================================================
1st special session on FORmal approaches to PArallel and Distributed systems (4PAD 2014)
Turin, 12-14 February 2014
(special session of PDP 2014)
http://www.pdp2014.org/specialsessions/formalhpc/index.html
=====================================================================


Important dates
===============
Abstract submission: 25th August 2013
Paper submission: 1st September 2013
Acceptance notification: 7th Oct 2013
Camera ready due: 31st Oct 2013
Conference: 12th - 14th Feb 2014


Scope
=====
The aim of this special session is to foster the recent convergence on research interests from several communities investigating modern parallel, distributed, and network-based processing systems such as autonomic 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, reconfiguration, and monitoring;
* Parallel and distributed verification;
* Case studies developed/analyzed with formal approaches;


Submission guidelines
================
Papers should be sent in PDF format using the IEEE Conference proceedings style (IEEEtran, double-column, 10pt). The length of the papers cannot exceed 8 pages. 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.

Double-bind review: authors must take care of not revealing their identities and institutions. The first page of the paper should contain the title and abstract, but not the author names & affiliations. Relevant references to an author's previous research should not be suppressed, but instead referenced in a neutral way.

Papers are to be submitted through EasyChair at:

https://www.easychair.org/conferences/?conf=pdp2014


Proceedings
==========
Accepted papers will be published by IEEE Computer Society in the same volume of the main conference (indexed, among others, by IEEE explore, DBLP, Scopus ScienceDirect, and ISI Web of Knowledge). At least one of the authors of accepted papers are expected to register and present their papers at the conference.


Special Issue
==========
We plan to publish a special issue in the Springer Journal on Service Oriented Computing and Applications (http://www.springer.com/computer/communication+networks/journal/11761), in collaboration with the 10th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing (http://www.cs.le.ac.uk/events/wsfm2013/).


Session Chairs
============
Alberto Lluch Lafuente, IMT Institute for Advanced Studies Lucca (Italy)
Emilio Tuosto, University of Leicester (UK)


Program Committee
===============
Michele Amoretti, University of Parma (Italy)
Jiri Barnat, Masaryk University (Czech Republic)
Massimo Bartoletti, University of Cagliary (Italy)
Stefan Edelkamp, University of Bremen (Germany)
Peter Kilpatrick, Queen's University Belfast (UK)
Alexander Knapp, University of Augsburg (Germany)
Scott Owens, University of Kent (UK)
Luca Padovani, University of Torino (Italy)
Matteo Pradella, Politecnico di Milano (Italy)
Mirco Tribastone, Ludwig-Maximilians-Universität München (Germany)
Petr Tuma, Charles University (Czech Republic)
Andrea Vandin, IMT Institute for Advanced Studies Lucca (Italy)
Vasco Vasconcelos, University of Lisbon (Portugal)
Anton Wijs, Eindhoven University of Technology (The Netherlands)
Eugenio Zimeo, University of Sannio (Italy)


Contact information
===============
alberto.lluch@imtlucca.it
emilio@mcs.le.ac.uk

Related Resources

TPDS-SS-AI 2020   IEEE Transactions on Parallel and Distributed Systems (IEEE TPDS) Special Section on Parallel and Distributed Computing Techniques for AI, ML and DL
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
SBAC-PAD 2020   International Symposium on Computer Architecture and High Performance Computing
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
PerIoT 2020   Software Approaches to Improve the Performance of IoT Systems - Applied Sciences (IF 2.217)
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
DAWSN 2020   Special Issue “Distributed Algorithms for Wireless Sensor Networks”
IEEE--ICISE--Ei Compendex & Scopus 2020   IEEE--2020 the 5th International Conference on Information Systems Engineering (ICISE 2020)--Ei Compendex & Scopus
SS IJCNN 2020   Special Session on Machine Learning and Deep Learning Approaches for Ambient Assisted Living at IEEE WCCI/IJCNN 2020
Logos & Littera 2020   Logos & Littera: Journal of Interdisciplinary Approaches to Text