• CFP: HLPP2020 - Deadline Extended *** May, 4th (AoE) ***

    From Carlos Ferreira@21:1/5 to All on Tue Apr 14 10:47:16 2020
    HLPP 2020

    The 13th International Symposium on
    High-level Parallel Programming and Applications

    Porto, Portugal, 9-10 July, 2020

    *** NEW ***
    Covid‑19 (Coronavirus)

    We are monitoring the ongoing outbreak, and following recommendations
    and guidelines from the World Health Organization (WHO) and the
    European Centre for Disease Prevention and Control (ECDC).

    The safety of all conference participants is our main priority. In
    this perspective, regardless of the outbreak outcomes in July, we will
    make HLPP2020 an online (synchronous and/or asynchronous) event and we
    will maintain the regular publication activities, i.e., accepted
    papers will be selected for IJPP.

    Moreover, we have also extended the submission deadline to May, 4th

    The assessment of the outbreak's impact in HLPP2020 will be done at
    June, 15th. By that time, we will make an announcement, on HLPP2020's
    webpage, about its new format (schedulement, registration values,

    Stay safe!

    Aims and scope of HLPP

    As processor and system manufacturers increase the amount of both
    inter- and intra-chip parallelism it becomes crucial to provide the
    software industry with high-level, clean and efficient tools for
    parallel programming. Parallel and distributed programming
    methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared
    memory mechanisms. Higher-level, structured approaches offer many
    possible advantages and have a key role to play in the scalable
    exploitation of ubiquitous parallelism.

    Since 2001 the HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools and
    applications for high-level parallel programming. The general emphasis
    is on software quality, programming productivity and high-level
    performance models. The 13th Symposium on High-Level Parallel
    Programming and Applications will be held in the Porto, Portugal.


    HLPP 2020 invites papers on all topics in high-level parallel
    programming, its tools and applications including, but not limited to,
    the following aspects:
    * High-level programming, performance models (BSP, CGM, LogP, MPM,
    etc.) and tools
    * Declarative parallel programming methodologies
    * Algorithmic skeletons and constructive methods
    * Declarative parallel programming languages and libraries: semantics
    and implementation
    * Verification of declarative parallel and distributed programs
    * Software synthesis, automatic code generation for parallel
    * Model-driven software engineering with parallel programs
    * High-level programming models for heterogeneous/hierarchical
    * High-level parallel methods for large structured and semi-structured
    * Applications of parallel systems using high­-level languages and
    * Formal models of timing and real-time verification for parallel

    Local Organization

    Inês Dutra, University of Porto, Portugal
    Miguel Areias, University of Porto, Portugal
    Ricardo Rocha, University of Porto, Portugal

    Program Committee

    Agostino Dovier, University of Udine, Italy
    Aleksandar Prokopec, Ecole Polytechnique Fédérale de Lausanne,
    Ana Lucia Varbanescu, University of Amsterdam, Netherlands
    Christoph Kessler, Linköping University, Sweden
    Clemens Grelck, University of Amsterdam, Netherlands
    Dalvan Griebler, PUCRS/SETREM, Brasil
    Frank Pfenning, Carnegie Mellon University, USA
    Frederic Loulergue, Northern Arizona University, USA
    Frédéric Dabrowski, LIFO - Université d'Orléans, France
    Gaetan Hains, Huawei Paris Research Center, France
    Herbert Kuchen, University of Münster, Germany
    Joel Falcou, Univeristé Paris Sud, France
    Kiminori Matsuzaki, Kochi University of Technology, Japan
    Kostis Sagonas, Uppsala University, Sweden
    Marco Aldinucci, University of Torino, Italy
    Massimo Torquati, University of Pisa, Italy
    Michel Steuwer, University of Glasgow, UK
    Murray Cole, The University of Edinburgh, UK
    Peter Kilpatrick, Queen's University Belfast, UK

    Important dates

    Submission deadline: May, 4th (AoE)
    Author notification: June, 4th
    Camera-ready for draft proceedings: July, 1st
    Early registration deadline: June, 10th
    Symposium: July, 9th-10th (Thursday/Friday)
    IJPP (HLPP special issue) submission deadline: October, 1st
    IJPP (HLPP special issue) camera-ready for journal publication:
    December, 1st

    Paper submission

    Papers submitted to HLPP 2020 must describe original research results
    and must not have been published or simultaneously submitted anywhere

    Manuscripts must be prepared with the Springer IJSS latex macro
    package using the single column option
    (\documentclass[smallextended]{svjour3}) and submitted via the
    EasyChair Conference Management System as one pdf file. The strict
    page limit for initial submission and camera-ready version is 20 pages
    in the aforementioned format.

    Each paper will receive a minimum of three reviews by members of the international technical program committee. Papers will be selected
    based on their originality, relevance, technical clarity and quality
    of presentation.

    After the symposium you have ample time to revise the paper
    incorporating potential comments and remarks of your colleagues. We
    expect the the HLPP 2020 special issue of the International Journal of
    Parallel Programming (IJPP) to appear online-first by the end of the
    year and the printed edition in mid-2021.


    Accepted papers will be distributed as informal draft proceedings
    during the symposium. Accepted papers will be published by Springer in
    a special issue of the International Journal of Parallel Programming

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