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

MEMOCODE 2022   20th ACM/IEEE International Symposium on Formal Methods and Models for System Design
SASIMI 2022   The 24th Workshop on Synthesis And System Integration of Mixed Information technologies
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
IEEE-ARACE 2022   2022 Asia Conference on Advanced Robotics, Automation, and Control Engineering (ARACE 2022)
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
PCG 2022   The 13th Workshop on Procedural Content Generation
SI PMABD 2023   Special Issue on Programming Models and Algorithms for Big Data
MEIJ 2022   Mechanical Engineering: An International Journal
FM 2023   Formal Methods
SBMF 2022   25th Brazilian Symposium on Formal Methods