Emil Axelsson | 7 May 10:22 2013
Picon
Picon

Extended Deadline: MEMOCODE 2013: Call for papers

CALL FOR PAPERS - MEMOCODE 2013
(NOTE: NEW EXTENDED DATES for PAPERS and DESIGN CONTEST)

Eleventh ACM/IEEE
International Conference on Formal Methods and Models for Codesign
http://www.memocode-conference.com

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

SCOPE

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
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.
(Continue reading)


Gmane