MEMOCODE 2009 - Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign MEMOCODE 2009

Website http://csg.csail.mit.edu/Memocode2009/ | Edit Freely

Category MEMOCODE 2009

Deadline: March 15, 2009 | Date: July 13, 2009

Venue/Country: Cambridge, U.S.A

Updated: 2010-06-04 19:32:22 (GMT+9)

Call For Papers - CFP

Confirmed Keynote Speakers include David Harel (Weizmann), Amir Pnueli (NYU) and Martin Rinard (MIT). The conference includes a tutorial on implementation attacks by Thomas Popp (TU Graz) and a panel on the Future of Design Languages led by Stephen Edwards (Columbia).

Topics of interest for regular submissions include, but are not limited to:

System-level modeling and verification, abstraction and refinement between different modeling levels, formal, semi-formal, and specification-driven verification on the system level. Transaction-level modeling.

Design and verification methods for composition of concurrent systems: Multi-core architectures, networks-on-chip.

Non-traditional and domain-specific design languages for hardware and software, novel models of computation, and new design paradigms that unify hardware and software design.

System-level estimation of performance and power in heterogeneous hardware/software architectures.

Applications and demonstrators of formal design methodologies and case studies of innovative system-level design flows.

Modeling and reuse of intellectual property at system-level.

IMPORTANT DATES:

Submission Website Open: 30 January 2009

Paper submission deadline: 6 March 2009

Notification of acceptance: 8 May 2009

Poster submission deadline: 15 May 2009

Notification for Posters: 29 May 2009

Final Version for Papers: 29 May 2009

PROCEEDINGS: Conference proceedings will be published by the IEEE Computer Society. The best papers will be considered for a special section of IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

SUBMISSION: Submissions of research and experience papers will only be accepted through the conference web site. Papers must not exceed 10 pages 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. Posters submissions should consist of an abstract of at most 250 words. The abstract will be distributed to the conference attendants, but will not be published. Note that the poster deadline is different from the paper deadline.

Submission Website:

http://www.easychair.org/conferences/?conf=memocode2009

DESIGN CONTEST: MEMOCODE will again have a design contest. The contest will start 1 March 2009. 17th International Symposium on Formal Methods 2011 FM'11 The deadline for submission is 31 March 2009 and the notification of the results is on 8 May 2009. The conference will sponsor at least two prize categories, each with a significant cash award. We awarded a $1000 prize in each of the three categories in 2008. Each team that submits a complete and working entry will be invited to submit for review a 2-page abstract for the formal conference proceedings; prize winning teams will be invited to contribute a 4-page short paper. Please refer to the conference website for more information and updates. 17th International Symposium on Formal Methods 2011 FM'11