[CSC'23] Formal Verification in Scientific Computing | ACM SIGPLAN | Podwise