Submit Abstracts for 2nd Workshop on Correctness and Reproducibility for Earth System Software

  

Please log in to the UCAR Commons to see this content. Click on Log In on the top right of the screen.

  

Starts:  Nov 5, 2025 09:00 (MT)
Ends:  Nov 7, 2025 17:00 (MT)
Associated with  Opportunities

Abstracts are being accepted now through July 25 for the 2nd Workshop on Correctness and Reproducibility for Earth System Software.

This workshop will be held in conjunction with the Tutorial: Rigor and Reasoning in Scientific Software and will take place November 5-7, 2025 at NCAR’s Mesa Laboratory in Boulder, Colorado and virtually.

See the event website for more information, including a link to the abstract submission form as well as a link to the 2023 workshop page (containing the program, slides, and recordings).

We are 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

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

Confirmed invited speakers include:

Soonho Kong, Principal Applied Scientist, Amazon Web Services (AWS)

Antonios Mamalakis, Assistant Professor, University of Virginia (UVA)

David John Gagne, Machine Learning Scientist II, NSF National Center for Atmospheric Research (NCAR)

Please reach out to the CISL Events team with any questions.

Location

Mesa Lab
1850 Table Mesa Dr
Boulder, CO 80305
Online Instructions:

Contact

Samantha Scalice

sscalice@ucar.edu