Workshop on Correctness and Reproducibility for Climate and Weather Software

Topics of interest:

• Tools and approaches for software testing, debugging, quality assurance, and continuous integration.
• Statistical and ensemble-based approaches for evaluating model consistency and software correctness.
• Software design approaches and development practices for streamlining correctness and reproducibility efforts.
• Formal methods, abstraction, and logical proof techniques for rigorous verification.
• Verifying and validating large-scale applications running on HPC clusters, cloud computing systems, heterogeneous systems, GPUs, etc.
• Other software correctness and reproducibility approaches for facilitating verification and validation.

REGISTRATION

• Registration Form (In person fee: $50, Virtual fee: $25)
• Registration deadline: October 20, 2023 (in person), November 3, 2023 (virtual)

PROGRAM

The workshop program will include keynote speakers, invited talks, peer-reviewed submissions, and discussions.

Confirmed Keynote Speakers:

• John Baugh: Professor, Civil Engineering and Operations Research; North Carolina State University
• Peter Dueben: Head of the Earth System Modelling Section, European Centre for Medium Range Weather Forecasts (ECMWF)
• Steve Easterbrook: Director, School of the Environment; Professor, Department of Computer Science; University of Toronto
• Dorit Hammerling: Associate Professor, Applied Mathematics and Statistics; Colorado School of Mines

VENUE

The workshop will be held in person (with a virtual option) and at the Mesa Laboratory of the National Center for Atmospheric Research. (Helpful things to know for your visit.)

Address: 1850 Table Mesa Dr, Boulder, CO 80305

Note: Virtual Meeting details will be announced later.