Introduction

The 12th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'14) will be held at EPFL in Lausanne, Switzerland on October 19-21, 2014. MEMOCODE'14 will be collocated with FMCAD'14, the 14th Conference on Formal Methods in Computer-Aided Design, providing attendees the opportunity to attend joint tutorial sessions and keynotes. The joint MEMOCODE'14 and FMCAD'14 tutorials will be held on October 21st.

Call for paper

Important date

2014-07-10
Abstract submission deadline

Submission Topics

MEMOCODE'14 seeks research contributions addressing all aspects of methods and models for hardware and embedded software design. We are interested in formal foundations, informal engineering methodologies with sound basis, model driven approaches, design tools, design case studies and industry-scale experimental case-studies. Research areas of interest to MEMOCODE consist of (but not limited to) the following topics: Programming models, languages, methodologies and tools Analysis, verification and test in system design Refinement, component, platform-based design methodologies Models of time in system design, and the relations Fault tolerance, fault models, reliability and resilience Quantitative and qualitative reasoning in system design Cyber-secure and trustworthy system design Case studies and tools paper
Submit Comment
Verify Code Change Another
All Comments
Important Date

  • Conference Date

    Oct 18

    2014

    to

    Oct 21

    2014

  • Jul 10 2014

    Abstract Submission Deadline

  • Oct 21 2014

    Registration deadline

Sponsored By
IEEE Circuits and Systems Society
Association for Computing Machinery - ACM
Contact Information
Login to view full contact details