This workshop, held in conjunction with SC23 at the Colorado Convention Center, Denver, CO., November 12, 2023, 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 in this area.