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

AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
FM 2024   Formal Methods
ICFEM 2024   International Conference on Formal Engineering Methods
HiPEAC 2025   High Performance Embedded Architectures and Compilers
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
7FMA 2024   7th International Symposium Formal Methods in Architecture
TAP 2024   18th International Conference on Tests and Proofs
CONISOFT 2024   12th International Conference on Software Engineering Research and Innovation
SCAP 2024   Stuttgart Conference on Automotive Production