[Haskell] MEMOCODE 2013: Call for papers

Emil Axelsson emax at chalmers.se
Fri Apr 26 07:36:15 CEST 2013


Eleventh ACM/IEEE
International Conference on Formal Methods and Models for Codesign

18-20 October 2013, Portland, Oregon, USA
Co-located with DIFTS and FMCAD


The eleventh ACM/IEEE 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

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 must be accepted through the EasyChair review system
on our web site. 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.

   Abstract submission deadline: May 8
   Paper submission deadline: May 15
   Notification of acceptance: June 19
   Final version for Papers: July 17


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 our website.

   Design Contest start: May 15
   Design submission deadline: June 12
   Notification of design results: June 19
   Final version for abstracts: July 17


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.

More information about the Haskell mailing list