HLPP 2020 The 13th International Symposium on High-level Parallel Programming and Applications Porto, Portugal, 9-10 July, 2020 https://hlpp2020.dcc.fc.up.pt/ hlpp2020@dcc.fc.up.pt ---------------------- *** 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 (AoE). 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, etc). 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. ------ Topics ------ 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 programming * Model-driven software engineering with parallel programs * High-level programming models for heterogeneous/hierarchical platforms * High-level parallel methods for large structured and semi-structured datasets * Applications of parallel systems using high-level languages and tools * Formal models of timing and real-time verification for parallel systems ------------------ 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, Switzerland 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 else. 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. ----------- Proceedings ----------- 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 (IJPP). Carlos Ferreira ISEP | Instituto Superior de Engenharia do Porto Rua Dr. António Bernardino de Almeida, 431 4249-015 Porto - PORTUGAL tel. +351 228 340 500 | fax +351 228 321 159 mail@isep.ipp.pt | www.isep.ipp.pt