View source for MEMOCODE 2009

{{Event
 | Acronym = MEMOCODE 2009
 | Title = Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign 
 | Type = Conference
 | Series = 
 | Field = Systems
 | Homepage = csg.csail.mit.edu/Memocode2009/
 | Start date = Jul 12, 2009 
 | End date =  Jul 15, 2009
 | City= Cambridge
 | State = 
 | Country =  MA
 | Abstract deadline = 
 | Submission deadline = Feb 20, 2009
 | Notification = May 8, 2009
 | Camera ready = May 29, 2009
}}

<pre>
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.
	</pre>This CfP was obtained from [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=3722&amp;copyownerid=619 WikiCFP]
Acronym	MEMOCODE 2009 +
Camera ready due	May 29, 2009 +
End date	July 15, 2009 +
Event type	Conference +
Has coordinates	42° 22' 30", -71° 6' 20"Latitude: 42.3751 Longitude: -71.105616666667 +
Has location city	Cambridge +
Has location country	Category:MA +
Homepage	http://csg.csail.mit.edu/Memocode2009/ +
IsA	Event +
Notification	May 8, 2009 +
Start date	July 12, 2009 +
Submission deadline	February 20, 2009 +
Title	Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign +