Daily Bulletin

Submit an abstract by August 1 for the November Correctness Workshop

June 2, 2023

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 November 9 & 10 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 two student submissions. Indicate your student status on your abstract submission to be considered.

For more information and to submit an abstract, visit the event website.