|
|
|
| |||||||||||
MEMOCODE 2008 : 6th ACM/IEEE Conference on Formal Methods and Programming Models for Codesign | |||||||||||
| Link: http://svl1.cs.pdx.edu/memocode08/ | |||||||||||
| |||||||||||
Call For Papers | |||||||||||
|
The goal of MEMOCODE'08, the sixth in a series of successful international conferences, is to gather together researchers and practitioners in the field of the design of modern hardware and software systems to explore ways in which future design methods can benefit from new results on formal methods. MEMOCODE'08 will be co-located with DAC'08.
SPONSORS ACM SIGBED and ACM SIGDA IEEE CAS and IEEE CEDA IMPORTANT DATES Paper submission: February 1, 2008 Design Contest Starts: February 8, 2008 Design Contest Ends: March 9, 2008 Notification of acceptance: March 31, 2008 Panels and tutorials: April 11, 2008 Final Version of Papers: April 11, 2008 |
|
