posted by system || 2081 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

SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
IWoDA 2020   2020 2nd International Workshop on Design Automation (IWoDA 2020)
MARS 2020   4th Workshop on Models for Formal Analysis of Real Systems
IWoDA 2020   2020 2nd International Workshop on Design Automation (IWoDA 2020)
SEFM 2020   Software Engineering and Formal Methods
FormaliSE 2020   8th International Conference on Formal Methods in Software Engineering
IJCAR 2020   10th International Joint Conference on Automated Reasoning
CAV 2020   Computer Aided Verification
NFM 2020   12th NASA Formal Methods Symposium
CREST 2020   5th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology