MEMOCODE 2009

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