MEMOCODE: ACM/IEEE International Symposium on Formal Methods and Models for System Design

MEMOCODE brings together researchers and practitioners interested in formal methods for system design and development, to exchange ideas, research results and lessons learned. The symposium focuses on the foundations and applications of formal methods in the development of hardware, firmware, middleware, and application software for systems, ranging from single embedded devices to highly networked cyber-physical systems and the Internet of Things.

More information can be found on the dedicated website.

Important Dates


Abstract Submission: May 27, 2024 (AoE) May 6, 2024
Full Paper Submission: May 27, 2024 (AoE) May 20, 2024
Notification: July 8, 2024
Final Versions: July 29, 2024
Conference: October 3–4, 2024

MEMOCODE Program Chairs


Qi Zhu

MEMOCODE TPC Chair

Northwestern University, US

Srinivas Pinisetty

MEMOCODE TPC Chair

IIT Bhubaneswar, IN