The workshop will take place from Wednesday, November 5 to Thursday, November 7, both virtually and in-person at NSF NCAR’s Mesa Laboratory in Boulder, CO. This event is held in conjunction with the tutorial, “Rigor and Reasoning in Scientific Software,” and is sponsored by the
2025 Better Scientific Software (BSSw) Fellowship program.
The workshop is soliciting talks related (but not limited) to the following topics:
- Testing, debugging, QA, and CI tools
- Statistical and ensemble-based validation
- Software design for correctness and reproducibility
- Automated reasoning, formal methods, and verification techniques
- Validation of HPC, cloud, heterogeneous, and GPU-based applications
- Other verification and validation approaches
More event information, including a speaker list, tutorial information, and the 2023 workshop’s program, slides, and recordings, can be found on the
event website.
