Welcome to MEMOCODE'22

MEMOCODE 2022 is a part of ESWEEK 2022, which is planned as a hybrid event, with the onsite component in Shanghai, China.

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.

The Organizing Committee of MEMOCODE'22 is composed of

  • General Co-Chairs: Prof. Reinhard von Hanxleden, Christian-Albrecht University of Kiel, Germany; Prof. Dominique Méry, LORIA, Université de Lorraine, France
  • Programme Committee Co-Chairs: Prof. Jens Brandt, Niederrhein University of Applied Sciences, Germany; Prof. Lijun Zhang, Institute of Software, CAS
  • Publicity/Publication Chair: Dr. Bai Xue, Institute of Software CAS

Information on eighteen previous editions of MEMOCODE is located here.

MEMOCODE '22: Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design