MEMOCODE 2009

From OPENRESEARCH i5 copy Wiki
Revision as of 18:19, 13 January 2021 by Wf (talk | contribs) (pushed from or by wikipush)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
Event
Name Value
isA Event
Acronym MEMOCODE 2009
Title Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign
Start date Jul 12, 2009
End date Jul 15, 2009
Homepage csg.csail.mit.edu/Memocode2009/
... ...


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