Financially Sponsored Conference MEMOCODE 2023 21st ACM-IEEE International Conference on Formal Methods and Models for System Design Website Description MEMOCODE focuses 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. Share This Event facebook twitter linkedin Email Date & Time Thu, September 21, 2023 – Fri, September 22, 2023 Add to calendar Location Hamburg, Germany Hamburg, Germany