<div dir="ltr"><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">== CALL FOR PAPERS ===================================================</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
1st special session on FORmal approaches to PArallel and Distributed systems (4PAD 2014)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Turin, 12-14 February 2014</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
(special session of PDP 2014)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><a href="http://www.pdp2014.org/specialsessions/formalhpc/index.html" target="_blank">http://www.pdp2014.org/specialsessions/formalhpc/index.html</a></div>
<div style="font-family:arial,sans-serif;font-size:12.727272033691406px">=====================================================================</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
<br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px"> </div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Important dates</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
===============</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Abstract submission: 25th August 2013</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Paper submission: 1st September 2013</div>
<div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Acceptance notification: 7th Oct 2013</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Camera ready due: 31st Oct 2013</div>
<div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Conference: 12th - 14th Feb 2014</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
<br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Scope</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">=====</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
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.</div>
<div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
Topics</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">=====</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">We solicit papers in all areas of the above mentioned systems, including (but not limited to):</div>
<div style="font-family:arial,sans-serif;font-size:12.727272033691406px">* Rigorous software engineering approaches and their tool support;</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">* Model-based approaches, including model-driven development;</div>
<div style="font-family:arial,sans-serif;font-size:12.727272033691406px">* Service- and component-based approaches;</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">* Semantics, types and logics;</div>
<div style="font-family:arial,sans-serif;font-size:12.727272033691406px">* Formal specification and verification;</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">* Performance analysis based on formal approaches;</div>
<div style="font-family:arial,sans-serif;font-size:12.727272033691406px">* Formal aspects of programming paradigms and languages;</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">* Formal approaches to parallel architectures and weak memory models;</div>
<div style="font-family:arial,sans-serif;font-size:12.727272033691406px">* Formal approaches to deployment, run-time analysis, reconfiguration, and monitoring;</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
* Parallel and distributed verification;</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">* Case studies developed/analyzed with formal approaches;</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
<br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Submission guidelines</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
================</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">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.</div>
<div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Submitted papers must describe work unpublished in refereed venues, and not submitted for publication elsewhere. </div>
<div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">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. </div>
<div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Papers are to be submitted through EasyChair at:</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
<br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><a href="https://www.easychair.org/conferences/?conf=pdp2014" target="_blank">https://www.easychair.org/conferences/?conf=pdp2014</a></div>
<div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
Proceedings</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">==========</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">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.</div>
<div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
Special Issue</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">==========</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">We plan to publish a special issue in the Springer Journal on Service Oriented Computing and Applications (<a href="http://www.springer.com/computer/communication+networks/journal/11761" target="_blank">http://www.springer.com/computer/communication+networks/journal/11761</a>), in collaboration with the 10th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing (<a href="http://www.cs.le.ac.uk/events/wsfm2013/" target="_blank">http://www.cs.le.ac.uk/events/wsfm2013/</a>).</div>
<div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
Session Chairs</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">============</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Alberto Lluch Lafuente, IMT Institute for Advanced Studies Lucca (Italy)</div>
<div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Emilio Tuosto, University of Leicester (UK)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
<br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Program Committee</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">===============</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
Michele Amoretti, University of Parma (Italy)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Jiri Barnat, Masaryk University (Czech Republic)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
Massimo Bartoletti, University of Cagliary (Italy)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Stefan Edelkamp, University of Bremen (Germany)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
Peter Kilpatrick, Queen's University Belfast (UK)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Alexander Knapp, University of Augsburg (Germany)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
Scott Owens, University of Kent (UK)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Luca Padovani, University of Torino (Italy)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
Matteo Pradella, Politecnico di Milano (Italy)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Mirco Tribastone, Ludwig-Maximilians-Universität München (Germany)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
Petr Tuma, Charles University (Czech Republic)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Andrea Vandin, IMT Institute for Advanced Studies Lucca (Italy)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
Vasco Vasconcelos, University of Lisbon (Portugal)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">Anton Wijs, Eindhoven University of Technology (The Netherlands)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
Eugenio Zimeo, University of Sannio (Italy)</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><br></div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">
Contact information</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px">===============</div><div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><a href="mailto:alberto.lluch@imtlucca.it" target="_blank">alberto.lluch@imtlucca.it</a></div>
<div style="font-family:arial,sans-serif;font-size:12.727272033691406px"><a href="mailto:emilio@mcs.le.ac.uk" target="_blank">emilio@mcs.le.ac.uk</a></div>
</div>