MEMOCODE 2025: Call for Papers

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

Over the last decade, the boundaries between computer system components, such as hardware, software, firmware, middleware, and applications, have blurred. This evolution in system design and development practices led in 2014 to a change in the title and scope of the MEMOCODE conference from its original focus on hardware/software co-design to its new focus on formal methods and models for developing computer systems and their components. MEMOCODE’s objective is to emphasize the importance of models and methodologies in correct system design and development, and to bring together researchers and industry practitioners interested in all aspects of computer system development, to exchange ideas, research results and lessons learned.

ESWEEK 2025 will take place as an in-person event from September 28th to October 3rd, 2025 in Taipei, Taiwan. MEMOCODE is one of the symposia held as part of ESWEEK.

Important Dates

• Abstract Submission: April 28, 2025
• Full Paper Submission: May 5, 2025
• Notification: July 8, 2025
• Final Versions: August 30, 2025
• Conference: October 2-3, 2025

MEMOCODE Program Chairs

• Sudipta Chattopadhyay
  MEMOCODE TPC Chair
  Singapore University of Technology and Design, SG

• Srinivas Pinisetty
  MEMOCODE TPC Chair
  IIT Bhubaneswar, IN

Dedicated Website

More information can be found on the dedicated website: https://memocode2025.github.io