Workshop on Correctness and Reproducibility for Climate and Weather Software

Abstracts are being accepted now through August 1 for the Workshop on Correctness and Reproducibility for Climate and Weather Software.  This workshop will take place on  November 9 & 10 at NCAR’s Mesa Laboratory in Boulder, Colorado and virtually.

We are soliciting talks related (but not limited to) the following topics:

• 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.

Confirmed keynote speakers include:

• Dr. Steve Easterbook, University of Toronto
• Dr. John Baugh, North Carolina State University
• Dr. Dorit Hammerling, Colorado School of Mines

Note: Travel funds are available for 2 student submissions (indicate student status on your abstract submission to be considered).

For more information and to submit an abstract, visit the event website. Registration will open in June.