Seventh ACM-IEEE

International Conference on

Formal Methods and Models for Codesign (MEMOCODE'2009)


July 13-15, 2009, Cambridge, Massachusetts - USA

memocode logo

Camera-Ready Author Instructions

The page limit for regular papers is 10 pages.  
The page limit for design contest winning entries is 4 pages.
The page limit for design contest participants is 2 pages.

Please follow the following four steps.

(1) All files must be prepared using the IEEE conference proceedings 8.5" x 11" two-column format.

Please consult for a formatting guide and document templates. Please sure to select the two-column template. Please do not number your pages.

(2) All manuscripts must be evaluated on PDF eXpress for compliance to IEEE.

Instructions for using PDF eXpress will be sent to you in a separate email.

(3) Submit your compliant manuscript through Easychair using the same account and password that you used to submit your preliminary version.  For design contest papers, please submit through

(4) Complete the IEEE Copyright form, available from

Return the completed and signed form to Sally Lee at or via fax at 617.253.6652.