ACM/IEEE 系统设计形式化方法与模型国际研讨会

MEMOCODE（ACM/IEEE International Symposium on Formal Methods and Models for System Design）关注计算机系统组件——硬件、软件、固件、中间件与应用——之间边界日益模糊背景下的系统设计问题。2014 年起，会议的主题与范围从最初的软硬件协同设计调整为面向计算机系统及其组件开发的形式化方法与模型。
MEMOCODE 的目标是强调模型与方法学在正确系统设计与开发中的重要性，汇聚对计算机系统开发各方面感兴趣的研究人员与工业实践者，交流想法、研究成果与经验教训。

1、组委会

MEMOCODE 程序委员会共同主席：Yamine Ait Ameur（法国图卢兹大学 University of Toulouse）
MEMOCODE 程序委员会共同主席：Nathan Allen（新西兰奥克兰理工大学 Auckland University of Technology）

系统设计中的形式化方法与形式化模型
软硬件系统的建模、验证与综合
系统组件（硬件、软件、固件、中间件、应用）之间的形式化规约与精化
面向正确系统设计与开发的模型驱动方法
设计方法学与开发实践中的经验与教训

1、重要时间

摘要投稿：2026年5月4日
全文投稿：2026年5月11日
录用通知：2026年7月10日
终稿提交：2026年8月17日
研讨会时间：2026年10月8-9日