[TYPES/announce] 4PAD 2015: Final Call for Papers

Scott Owens S.A.Owens at kent.ac.uk
Mon Sep 8 10:42:09 EDT 2014


Apologies for the broken link below, the correct one is 

http://www.pdp2015.org/specialsessions/formalhpc/formalhpc.html

-Scott

On 2014/09/07, at 15:24, Scott Owens <S.A.Owens at kent.ac.uk> wrote:

> [ The Types Forum (announcements only),
>     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
> 
> Deadline extended until 15 September, 2014.
> 
> == 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: 15th Sept 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)



More information about the Types-announce mailing list