MEMOCODE 2009

MEMOCODE 2009
Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign
Dates	Jul 12, 2009 (iCal) - Jul 15, 2009
Homepage:	csg.csail.mit.edu/Memocode2009/
Location
Location:	Cambridge, MA
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":52.2055314,"lon":0.1186637,"icon":""}],"imageoverlays":null}
Important dates
Submissions:	Feb 20, 2009
Notification:	May 8, 2009
Camera ready due:	May 29, 2009
Table of Contents

Event

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