• CFP - Communicating Process Architectures 2016

    From Kevin Chalmers@21:1/5 to All on Thu Feb 25 03:55:11 2016
    Communicating Process Architectures (CPA) 2016
    The 38th WoTUG Conference on Concurrent and Parallel Systems

    Sunday (evening) 21st. - Wednesday (lunch) 24th. August 2016 www.wotug.org/cpa2016/
    Hosts: Niels Bohr Institute, University of Copenhagen, Denmark

    This is the first Call for Papers for Communicating Process Architectures 2016, the 38th WoTUG conference on concurrent and parallel programming. Papers are sought presenting novel, interesting and useful work relevant to all aspects of concurrency in
    computer systems. For full details, please see the on-line pages at http://www.wotug.org/cpa2016/.

    CPA is concerned with concurrency at all scales. It aims to bridge the gap between the mathematical theory of concurrency and its practical application to the design, implementation and validation of parallel applications for embedded, multicore and
    distributed computing systems. Areas of interest to the CPA community include, but are not limited to:
    * Formal Specifications of Concurrent Systems;
    * Theoretical approaches to concurrency, and formal languages supporting these approaches, including the integration of existing and novel formal notations;
    * Verification and analysis of concurrent systems;
    * Model-checking techniques and tools for development and analysis;
    * Programming for Concurrency;
    * Concurrent programming languages such as Go, Erlang, Rust, etc.;
    * Runtime environments for parallel and distributed applications;
    * Libraries for managing concurrency; JCSP, PyCSP, Cocol, etc.;
    * Design patterns and implementation techniques for concurrent software; * Operating systems and runtime environments for parallel and distributed applications;
    * Modelling and model-driven development of concurrent software architectures;
    * Parallel hardware solutions;
    * Design of multicore processors and parallel computer architectures;
    * Theoretical approaches, tools and languages for hardware-software co-design;
    * Hardware and software approaches to reconfigurable computing;
    * The teaching of concurrency at high-school, university and postgraduate level;
    * Concurrent applications within academia and industry, such as complex systems simulation, robotic control and high-performance network servers;
    * Reports on experience with concurrency in an industrial context.

    CPA is an open-access conference: accepted papers will be published by Open Channel Publishing Ltd. in the CPA 2016 Proceedings, and made freely available from the WoTUG papers archive. All submissions will be refereed by an international panel of
    academic and industrial reviewers, with extensive feedback given to authors. Authors retain copyright on their papers, shared with the publishers. This means that authors have the right to reuse any material from these papers in future publications (e.g.
    in extended revisions for journals).

    CPA runs in a single track over two and a half days, with space for approximately 25 half-hour presentations. In addition, two evening Fringe sessions provide a forum for presenting and discussing new ideas and/or work in progress.
    The conference registration fee (covering admission to all sessions, one copy of the Proceedings, coffee/tea breaks, lunches and evening meals, including the conference dinner) will be announced on the registration page shortly. A limited number of
    bursaries will be available to support students attending the conference - please see the registration page details.

    Important dates
    Paper submission: 5th. June
    Notification of acceptance: 30th. June
    Final revised CRC due: 24th. July
    Conference: 21st. (evening) - 24th. (lunch) August 2016
    For more information on CPA 2016, please see the conference web site.

    If you have any questions about the conference, please contact us at cpa2016@wotug.org. We look forward to seeing you in Copenhagen in August!

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)