Nov 09, 2023 to Nov 10, 2023
(Europe/Berlin / UTC100)


Boulder (USA)

Add event to calendar



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 Form (In person fee: $50, Virtual fee: $25)
  • Registration deadline: October 20, 2023 (in person), November 3, 2023 (virtual)


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


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.