Description: website description
The OpenToc for-->
MEMOCODE'23 is a part of ESWEEK 2023 , which will take place in Hamburg, Germany.
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 meth