2nd Workshop on Correctness and Reproducibility

We’re excited to announce the second Workshop on Correctness and Reproducibility for Earth System Software, taking place November 5–7, 2025, at NCAR’s Mesa Laboratory in Boulder, CO.

Highlights:

• Tutorial on Rigor and Reasoning in Research Software, sponsored by my 2025 BSSw Fellowship award, covering:
  • Unit testing, CI, and property-based testing
  • Correctness in AI and reasoning in scientific code
• Invited talks, panels, and contributed presentations on:
  • Formal methods, validation techniques, software design for correctness
  • Testing tools for HPC, cloud, and heterogeneous platforms

We invite abstracts from researchers, software engineers, and practitioners in ESM and beyond.

Travel support will be available for students and early-career participants.

📝 Stay tuned for more details and the call for abstracts!