Difference between revisions of "MEMOCODE 2009"
Jump to navigation
Jump to search
(Event created) |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 15: | Line 15: | ||
| Notification = May 8, 2009 | | Notification = May 8, 2009 | ||
| Camera ready = May 29, 2009 | | Camera ready = May 29, 2009 | ||
| + | |wikicfpId=3722 | ||
| + | |pageCreator=127.0.0.1 | ||
| + | |contributionType=1 | ||
}} | }} | ||
Latest revision as of 20:54, 1 April 2022
| 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 |
| 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