Abstract
The goal of the MEMOCODE conference series, the eighth in a series of successful international conferences, is to gather together researchers and practitioners in the field of the design of modern hardware and software systems in order to explore ways in which future design methods can benefit from new results on formal methods. MEMOCODE is unique in the way it merges the formal community with the hands-on design community, and it creates a forum where principle meets practice. MEMOCODE covers a spectrum of interesting co-design topics, and it attracts industry and academia to engage in an interesting dialog.