May 30th - June 1st 2007       Nice, France organised with Artist partners 


ACM-IEEE International Conference on Formal Methods and Models for Codesign.

The goal of MEMOCODE’07, the fifth 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 to explore ways in which future design methods can benefit from new results on formal methods.

Access it online!

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet