The eighth ACM-IEEE International Conference on Formal Methods and Models for Codesign, Grenoble, Frankreich

The goal of MEMOCODE 2010, the eighth in a series of successful international conferences, is to gather researchers and practitioners in the field of the design of modern hardware and software system to explore ways in which future design methods can benefit from new results on formal methods.