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 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 Miguel Areias Ricardo Rocha Important dates: ---------------- Submission deadline: 6th, April (anywhere on earth) Author notification: 4th, June Camera-ready for draft proceedings: 1st, July Early registration deadline: 10th, June Symposium: 9th-10th, July (Thursday/Friday) IJPP (HLPP special issue) submission deadline: 1st, October IJPP (HLPP special issue) camera-ready for journal publication: 01st, December 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. At least one author of each accepted paper must register for the HLPP 2020 symposium and present the paper. 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). Venue ----- HLPP 2020 will be hosted by the Dept. of Computer Science (GPS coords 41.152545, -8.640758) of the Faculty of Sciences of the University of Porto (FCUP). Participants may reserve rooms in several of the nearby Hotels. As the symposium will be held in the tourist season, the organizers recommend a timely reservation of rooms. The city of Porto is famous for its Port wine and beautiful scenery, architecture and cultural events. Portugal has again been awarded the best European Tourist Destination by the World Travel Awards, the Oscars equivalent in the field of tourism. 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