🔗🎓 2nd Workshop on Correctness and Reproducibility for Climate and Weather Software

This workshop is a follow-up to the inaugural workshop held in November 2023, which brought together participants from academia, research labs, and industry to share their experiences and insights on software correctness and reproducibility.

This year’s workshop will feature a Tutorial on Rigor and Reasoning in Research Software, which will include sessions on practical techniques for improving software quality and reliability in scientific computing. The tutorial will cover core topics such as unit testing, continuous integration (CI), property-based testing, correctness in AI, and reasoning in research software. The workshop will also include invited talks, panel discussions, and contributed presentations on a wide range of topics related to software correctness and reproducibility.

Call for Abstracts: We invite contributions from researchers, software engineers, and practitioners in the climate and weather simulation community, as well as the broader scientific computing community. Topics include:

• 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

Relevant applications include simulation codes, external libraries, AI techniques, diagnostics, packaging, and development practices.