posted by user: mpstew || 5767 views || tracked by 28 users: [display]

MEMOCODE 2009 : Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Formal Methods and Models for Co-Design
 
Link: http://memocode.irisa.fr/
 
When Jul 12, 2009 - Jul 15, 2009
Where Cambridge, MA
Submission Deadline Feb 20, 2009
Notification Due May 8, 2009
Final Version Due May 29, 2009
Categories    architectures   design   systems   modeling
 

Call For Papers

The seventh MEMOCODE conference will gather researchers and
practitioners who create methods, tools, and architectures for
hardware/software systems. Modern design faces increased design
complexities in combination with tightening implementation
constraints. This requires new techniques to create, refine, and
verify hardware/software systems. MEMOCODE seeks submissions that
present novel formal methods and design techniques to address this
design problem. We also invite application-oriented papers, and
especially encourage submissions that highlight the design perspective
of formal methods and models, including success stories and
demonstrations of hardware/software codesign. Furthermore, we invite
poster presentations describing ongoing work with promising
preliminary results.

Related Resources

MARS 2020   4th Workshop on Models for Formal Analysis of Real Systems
DIS 2020   ACM Designing Interactive Systems 2020
SEFM 2020   Software Engineering and Formal Methods
ICACS--ACM, Ei and Scopus 2020   ACM--2020 4th International Conference on Algorithms, Computing and Systems (ICACS 2020)--Ei Compendex, Scopus
FormaliSE 2020   8th International Conference on Formal Methods in Software Engineering
AMMS--EI and Scopus 2020   2020 2nd International Applied Mathematics, Modelling and Simulation Conference (AMMS 2020)--EI Compendex, Scopus
IJCAR 2020   10th International Joint Conference on Automated Reasoning
EI/SCOPUS-RDA 2020   4th International Conference on Robotics: Design and Applications (RDA 2020)
CAV 2020   Computer Aided Verification
NFM 2020   12th NASA Formal Methods Symposium