From Openresearch
Jump to: navigation, search
Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign
Dates Jul 12, 2009 (iCal) - Jul 15, 2009
Location: Cambridge, MA
Loading map...

Important dates
Submissions: Feb 20, 2009
Notification: May 8, 2009
Camera ready due: May 29, 2009
Table of Contents

The seventh MEMOCODE conference will gather researchers and
practitioners who create methods, tools, and architectures for
hardware/software systems.  Modern design faces increased design
complexities in combination with tightening implementation
constraints.  This requires new techniques to create, refine, and
verify hardware/software systems.  MEMOCODE seeks submissions that
present novel formal methods and design techniques to address this
design problem.  We also invite application-oriented papers, and
especially encourage submissions that highlight the design perspective
of formal methods and models, including success stories and
demonstrations of hardware/software codesign.  Furthermore, we invite
poster presentations describing ongoing work with promising
preliminary results.

This CfP was obtained from WikiCFP

Facts about "MEMOCODE 2009"
AcronymMEMOCODE 2009 +
Camera ready dueMay 29, 2009 +
End dateJuly 15, 2009 +
Event typeConference +
Has coordinates42° 22' 30", -71° 6' 20"Latitude: 42.3751
Longitude: -71.105616666667
Has location cityCambridge +
Has location countryCategory:MA +
Homepage +
IsAEvent +
NotificationMay 8, 2009 +
Start dateJuly 12, 2009 +
Submission deadlineFebruary 20, 2009 +
TitleSeventh ACM-IEEE International Conference on Formal Methods and Models for Codesign +