Ensuring correctness in high-performance computing (HPC) applications is one of the fundamental challenges that the HPC community faces today. While significant advances in verification, testing and debugging have been made to isolate software defects in the context of non-HPC software, several factors make achieving correctness in HPC applications and systems much more challenging than in general systems software: growing architecture heterogeneity, massive scale computations, use of combined parallel programing models, new scalable numerical algorithms and aggressive compiler optimizations are some of the challenges that make correctness harder in HPC. As the complexity of future architectures, algorithms and applications in HPC increases, the ability to fully exploit exascale systems will be limited without correctness. The goal of the Correctness Workshop is to bring together researchers and developers to present and discuss novel ideas to address the problem of correctness in HPC. The workshop will feature contributed papers and invited talks.