MEMOCODE 2010 Call for Participation
The eighth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) will be held on July 26-28, 2010 in Grenoble, France.
The MEMOCODE conference series attracts researchers and practitioners who create methods, tools, and architectures for the design of hardware/software systems. These systems face increasing design complexity including tighter constraints on timing, power, costs, and reliability. MEMOCODE presents novel formal methods and design techniques addressing these issues to create, refine, and verify hardware/software systems.
Invited Speakers :
- Jordi Cortadella, Universitat Politecnica de Catalunya, Spain
- Rupak Majumdar, University of California, Los Angeles, USA
- Eric Flamand, STMicroelectronics, France
- Alain Darte, CNRS/LIP, France
- Josef Haid, Infineon Technologies, Austria
MEMOCODE 2010 will feature a panel discussion on "Low-Power HW/SW Design : from Technology to Verification" and present the winning teams of the MEMOCODE 2010 HW/SW Co-Design Contest.
A detailed program can be found at
MEMOCODE 2010 is organized by Verimag, CEA, and INRIA.
MEMOCODE 2010 is sponsored by IEEE CEDA, IEEE CAS, ACM SIGBED, ACM SIGDA. Furthermore, it is also supported by ArtistDesign NoE, University Joseph Fourier Grenoble, CRI PILSI, CNRS, INRIA, CEA LETI, Xilinx, and Grenoble INP.