Call for Papers

Over the last decade, the boundaries between computer system components, such as hardware, software, firmware, middleware, and applications, have blurred. This evolution in system design and development practices led in 2014 to a change in the title and scope of the MEMOCODE conference from its original focus on hardware/software co-design to its new focus on formal methods and models for developing computer systems and their components. MEMOCODE's objective is to emphasize the importance of models and methodologies in correct system design and development, and to bring together researchers and industry practitioners interested in all aspects of computer system development to exchange ideas, research results and lessons learned.

Topics of Interest

MEMOCODE 2016 seeks research contributions on all aspects of methods and models for system, hardware, and software design and development: formal foundations, engineering methods, tools, and experimental case studies. Research areas of interest include but are not limited to the following:

  • Modeling Languages, Methods and Tools Programming languages and models; software and system modeling languages; architecture and high-level hardware description languages; timing models; model and program synthesis methods; model transformation methods
  • Formal Methods and Tools Correct-by-construction methods; static, dynamic, and type theoretic analysis; verification; validation; test generation; platform-based design; refinement-based, component-based, and compositional approaches to design and verification
  • Models and Methods for Developing Critical Systems Fault-tolerant systems; security-critical and safety-critical systems; cyber-physical systems; autonomous and unmanned systems; assurance cases
  • Quantitative/Qualitative Reasoning Power/performance/cost/latency trade-off methods; power models; reasoning techniques, data mining, and other analytical methods for predicting power/performance; system models for quantitative design space exploration
  • Formal Methods/Models in Practice Design case studies; empirical case studies


  • Abstract submission deadline: July 29, 2016 (extended)
  • Paper submission deadline: August 5, 2016 (extended)
  • Notification of acceptance: September 16, 2016 (extended)
  • Final version of papers: October 14, 2016 (extended)
  • Venue: November 18-20, 2016


MEMOCODE 2016 calls for three kinds of submissions: regular papers, work in progress papers, and tool presentations. All papers must be written in English and formatted according to the following IEEE Computer Society guidelines. Submission of papers is handled via Easychair.
Regular papers must be no longer than 10 pages and must describe original work that does not overlap with another publication or a submission under review or accepted for publication by any other conference or journal. Reviewers will check regular papers for the novelty of the proposed solution and the proofs given for the claims made. One of the authors has to summarize the paper at the conference in a regular presentation.
Work-in-progress (WIP) papers must be no longer than 4 pages and must describe ongoing work. Reviewers will judge the novelty of the idea, but do not yet expect proofs for the envisioned results. WIP papers will be presented during a poster presentation at the conference.
Tool papers must be no longer than 8 pages and should describe an existing and publicly available tool that implements some state-of-the-art methods that might have been already published (but not as a tool paper). In addition to reviewing the paper, reviewers will assess the tool itself using inputs and a user's manual provided by the authors on the tool's web page.
For questions regarding technical submissions, feel free to contact one of the Program Committee co-chairs: Elizabeth Leonard (elizabeth.leonard or Klaus Schneider(
All accepted papers (regular paper, WIP papers, and tool papers) will be published as IEEE conference proceedings and in IEEE Xplore. For all three paper categories, publication is contingent on one author registering for and presenting the paper at the conference. Selected papers will be invited for publication in a special issue of ACM Transactions on Embedded Computing Systems.