posted by system || 2292 views || tracked by 9 users: [display]

MEMOCODE 2008 : 6th ACM/IEEE Conference on Formal Methods and Programming Models for Codesign

FacebookTwitterLinkedInGoogle

Link: http://svl1.cs.pdx.edu/memocode08/
 
When Jun 5, 2008 - Jun 5, 2008
Where Anaheim, CA, USA
Submission Deadline Feb 1, 2008
Categories    design automation
 

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

Related Resources

ESOP 2021   30th European Symposium on Programming
ICDEPI-SCOPUS 2021   5th International Conference on Design Engineering and Product Innovation (ICDEPI 2021)
IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
SCOPUS-ICDES 2021   6th International Conference on Design Engineering and Science (ICDES 2021)
FM 2021   Formal Methods 2021
CAV 2021   33rd International Conference on Computer-Aided Verification
NFM 2021   13th NASA Formal Methods Symposium
ABZ 2021   ABZ 2021: 8th International Conference on Rigorous State Based Methods
F-IDE 2021   6th Workshop on Formal Integrated Development Environment
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification