Due to exceptional circumstances, the MEMOCODE 2013 Chairs have decided to drastically extend the review period for the conference by two months. The new schedule of the conference reads as follows:

Abstract submission deadline: July 17
Paper submission deadline: July 24
Notification of acceptance: August 21
Final version for Papers: September 18


The eleventh MEMOCODE conference focuses on research and developments in methods, tools, and architectures for the design of hardware/software systems. MEMOCODE seeks submissions that present novel formal methods and design techniques to create, refine, and verify complex hardware/software systems and to tackle the tight constraints on timing, power, costs, reliability and security that these systems face. We also invite application-oriented papers, and especially encourage submissions that highlight the tools and design perspective of formal methods and models, including success as well as failure stories, constructive analysis thereof, and demonstrations of hardware/software codesign. Techniques may range from formal verification to simulation-based verification technologies, and from languages to design paradigms that unify hardware and software codesign. Architectures may range from cloud computing and multi-core platforms to networks on chip. Applications and demonstrators may address values ranging from productivity and reuse to performance and quality.


Paper submissions will be accepted through Easychair here. Papers must be 10 pages or less, and must be formatted following IEEE Computer Society guidelines. Submissions must be written in English, describe original work, and not substantially overlap papers that have been published or are being submitted to a journal or another conference with published proceedings.


MEMOCODE 2013 is proud to organize its traditional Design Contest. The conference will sponsor at least one prize with a significant monetary award. Each team delivering a complete and working solution will be invited to prepare a 2-page abstract to be published in the proceedings and to present it during a dedicated poster session at the conference. The winning teams may contribute a 4-page short paper for presentation in the conference program. Further information will be made available on this website upon contest start.

Design Contest start: July 1
Design submission deadline: August 1
Notification of design results: September 1
Final version for abstracts: September 18


Conference proceedings will be published by the IEEE Computer Society. Besides conference proceedings, we are planning a special journal issue
with the very best 2013 papers of MEMOCODE, DIFTS, and FMCAD.

A text version of this call for paper is available for download.