2024 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)