Unsubscribe: https://lists.cs.columbia.edu/cucslists/listinfo/memocode
Unsubscribe: <mailto:[email protected]>
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.
Applications and demonstrators may address values ranging from
productivity and reuse to performance and quality.
MEMOCODE 2013 is co-located with FMCAD, the thirteenth conference on
Formal Methods in Computer-Aided Design, and DIFTS, the International
Workshop on Design and Implementation of Formal Tools and Systems.
PAPER SUBMISSIONS
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.
(NOTE: NEW, EXTENDED DATES !!!)
Abstract submission deadline: May 15
Paper submission deadline: May 22
Notification of acceptance: June 18
Final version for Papers: July 17
DESIGN CONTEST
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.
(NOTE: NEW, EXTENDED DATES !!!)
Design Contest start: June 1
Design submission deadline: July 1
Notification of design results: July 19
Final version for abstracts: July 31
PUBLICATION
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.
We look forward to your participation!
Marly Roncken, Jean-Pierre Talpin, and Eriko Nurvitadhi
MEMOCODE 2103 Program Chairs and Design Contest Chair
_______________________________________________
Memocode mailing list
[email protected]
------------------------------------------------------------------------------
Learn Graph Databases - Download FREE O'Reilly Book
"Graph Databases" is the definitive new guide to graph databases and
their applications. This 200-page book is written by three acclaimed
leaders in the field. The early access version is available now.
Download your free book today! http://p.sf.net/sfu/neotech_d2d_may
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
