MEMOCODE 2011, July 11-13, Cambridge, UK
Jobstmann · 2011
MEMOCODE 2011 Call for Papers This is the final call for papers for the MEMOCODE 2011 conference. The goal of MEMOCODE 2011, the ninth 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. The conference will include invited talks and tutorials. Currently, Tony Hoare (Microsoft (...)