2020 ACM-IEEE International Conference on Formal Methods and Models for System Design


2020 ACM-IEEE International Conference on Formal Methods and Models for System Design


Updated August 3, 2020.

The 18th ACM-IEEE International Conference on Formal Methods and Models for System Design will be held virtually from December 02 to December 04, 2020.

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.

Topics of Interest

MEMOCODE 2020 solicits research papers on formal methods in system design that address the foundations, engineering methods, tools, or experimental case studies. Research areas of interest include, but are not limited to, the following:

  • Modeling Languages, Methods, and Tools Programming languages and models; software and system modeling languages; architecture and high-level hardware description languages; timing models; model and program synthesis methods; model transformation methods.
  • Formal Methods and Tools Correct-by-construction methods; contract-based design and verification; static, dynamic, and type theoretic analysis; verification; validation; probabilistic model checking; test generation; refinement-based and compositional approaches to design and verification
  • Models and Methods for Developing Critical Systems Fault-tolerant systems; security-critical and safety-critical systems; cyber-physical systems; hybrid systems; autonomous systems; self-adapting systems; systems that merge humans, artificial intelligence, and cyber-physical systems; societal-scale cyber-physical systems, such as connected vehicles and smart grids
  • Quantitative/Qualitative Reasoning Power/performance/cost/latency estimation methods; system models for quantitative design space exploration
  • Formal Methods/Models in PracticeDesign case studies; empirical case studies

Date & Time

Wed, December 2, 2020 –
Fri, December 4, 2020

Add to calendar