May 23, 2025 2nd Workshop on Correctness and Reproducibility May 08, 2025 Towards Domain-Specific Formal Methods for Earth System Modeling @ ETAPS 2025 Jan 07, 2025 2025 Better Scientific Software Fellowship (BSSw) Award Jul 23, 2023 Workshop on Correctness and Reproducibility