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

CSMML 2021   Control Software: Methods, Models, and Languages
ICDEPI-SCOPUS 2021   5th International Conference on Design Engineering and Product Innovation (ICDEPI 2021)
FM 2021   Formal Methods 2021
MODELS 2021   ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
FMAS 2021   Third Workshop on Formal Methods for Autonomous Systems
WoSCA 2021   WoSCA 2021 : 2nd International Workshop on Smart Contract Analysis
FMICS 2021   Formal Methods for Industrial Critical Systems
IWOMP 2021   17th International Workshop on OpenMP
ICTAC 2021   18th International Colloquium on Theoretical Aspects of Computing
ARCS 2021   34th GI/ITG International Conference on Architecture of Computing Systems