MEMOCODE’21 19th ACM-IEEE International Conference on Formal Methods and Models for System Design Beijing, China Nov 20-22, Co-located with FM 2021


  • Abstract submission deadline: June 30, 2021, 23:59 AoE
  • Paper submission deadline: July 6, 2021, 23:59 AoE
  • Notification of acceptance: August 30, 2021
  • Final version of papers: September 29, 2021, 23:59 AoE
  • Conference: November 20-22, 2021

MEMOCODE 2021 will be held as a virtual conference in light of the current COVID-19 situation, with the safety and well-being of all conference participants as the top priority.

Please visit  the conference link https:MEMOCODE 2021





Dominique Méry

Dominique Méry est professeur à l'Université de Lorraine affecté à Telecom Nancy et exerce sa recherche au sein du LORIA.