}?>
By Joining you agree to MachPrinciple's Terms and Conditions and Privacy Policy
Click to Login
Please check your email. A registration confirmation link will be sent to your mailbox..
A registration confirmation link has been sent to your email. Please check your email and finish the registration process.
Search a Conference through our dedicated search page
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 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. MEMOCODE seeks research contributions on all aspects of methods and models for system, hardware, and software design and development: formal foundations, engineering methods, tools, and experimental case studies. Research areas of interest include but are not limited to the following: - Modeling Languages, Methods and Tools - Formal Methods and Tools - Models and Methods for Developing Critical Systems - Quantitative/Qualitative Reasoning - Formal Methods/Models in Practice