posted by user: bonotake || 10640 views || tracked by 29 users: [display]

MEMOCODE 2012 : ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign


Conference Series : International Conference on Formal Methods and Models for Co-Design
When Jul 16, 2012 - Jul 18, 2012
Where Arlington, Virginia
Abstract Registration Due Mar 2, 2012
Submission Deadline Mar 9, 2012
Notification Due May 4, 2012
Final Version Due May 18, 2012
Categories    formal methods   VLSI   verification   embedded system

Call For Papers

ACM/IEEE Tenth International Conference on Formal Methods and Models for


Arlington, Virginia
July 16-18, 2012

The goal of MEMOCODE 2012, the tenth in a series of successful international
conferences, is to gather researchers and practitioners in the field of the
design of modern hardware and software system to explore ways in which future
design methods can benefit from new results on formal methods.


Abstract submission deadline: March 2, 2012
Paper submission deadline: March 9, 2012
Notification of acceptance: May 4, 2012
Final Version for Papers: May 18, 2012

Hardware-software systems face increasing design complexity including tighter
constraints on timing, power, costs, and reliability. MEMOCODE seeks
that present novel formal methods and design techniques addressing these
to create, refine, and verify hardware/software systems. We also invite
application-oriented papers, and especially encourage submissions that
the design perspective of formal methods and models, including success stories
and demonstrations of hardware/software codesign. Furthermore, we invite
presentations describing ongoing work with promising preliminary results.

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

* system- and transaction-level modeling and verification, abstraction and
refinement between different modeling levels, formal, semi-formal, and
specification-driven verification,

* design and verification methods for composition of concurrent systems:
multi-core platform architectures, systems-on-chip, networks-on-chip,

* formal methods and tools for hardware and software verification including
theorem proving, decision procedures,

* 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
of innovative system-level design flows,

* modeling and reuse of intellectual property at system-level, and

* design abstraction and high-level design demonstrating productivity and
quality in generating and validating RTL and software.


Conference proceedings will be published by the IEEE Computer Society.


Submissions of research and experience papers will only be accepted through
conference website. 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
been published or are being submitted to a journal or another conference with
published proceedings. Poster submissions should consist of an abstract of
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
paper deadline.


DESIGN COMPETITION: MEMOCODE will again have a design contest. The contest
start March 1, 2012. The deadline for submission is 31 March 2012 and the
notification of the results is on May 13, 2012. The conference will sponsor
least two prize categories, each with a significant cash award. In past
we awarded a $1000 prize in each of the two categories. 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 and present a poster at the
conference; winning teams will be invited to contribute a 4-page short paper
present their work at the conference. Each team submitting a completed and
working entry will also receive a commemorative plaque with their name and
results. Please refer to the website for more information and updates.



General Chair
Sandeep Shukla (Virginia Tech)

Program Chairs
Luca Carloni (Columbia)
Daniel Kroening (Oxford)

Design Contest Chair
Stephen A. Edwards (Columbia)

Finance Chair
James Hoe (CMU)

Publication Chair
Jens Brandt (TU Kaiserslautern)


Roderick Bloem (Graz)
Luca Carloni (Columbia)
Abhijit Davare (Intel)
Robert de Simone (INRIA)
Stephen A. Edwards (Columbia)
Franco Fummi (Verona)
Thierry Gautier (INRIA)
Alain Girault (INRIA)
David Greaves (Cambridge)
Daniel Grosse (Bremen)
Connie Heitmeyer (NRL)
Franjo Ivancic (NEC Labs)
Barbara Jobstmann (CNRS)
Michael Kishinevsky (Intel)
Christoph Kirsch (Salzburg)
Daniel Kroening (Oxford)
Luciano Lavagno (Torino)
Elizabeth Leonard (NRL)
John O'Leary (Intel)
Philip Ruemmer (Uppsala)
Klaus Schneider (Kaiserslautern)
Satnam Singh (Google)
Jean-Pierre Talpin (INRIA)
Michael Theobald (D. E. Shaw)
Shobha Vasudevan (UIUC)
Thomas Wahl (Northeastern)
Fei Xie (Portland)
Qi Zhu (UC Riverside)


Arvind (MIT)
Masahiro Fujita (University Tokyo)
Rajesh Gupta (UC San Diego)
Connie Heitmeyer (NRL)
James Hoe (CMU)
Sandeep Shukla (Virginia Tech)
Jean-Pierre Talpin (INRIA)

Related Resources

CSMML 2021   Control Software: Methods, Models, and Languages
BES 2021   5th International Conference on Biomedical Engineering and Science
FM 2021   Formal Methods 2021
IJGCA 2021   International Journal of Grid Computing & Applications
CAV 2021   33rd International Conference on Computer-Aided Verification
IJITCA 2021   International Journal of Information Technology, Control and Automation
MODELS 2021   ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
FMICS 2021   Formal Methods for Industrial Critical Systems
WoSCA 2021   WoSCA 2021 : 2nd International Workshop on Smart Contract Analysis
FormaliSE 2021   9th International Conference on Formal Methods in Software Engineering