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

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

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Formal Methods and Models for Co-Design
 
Link: http://www.memocode-conference.com
 
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
Codesign

MEMOCODE 2012

http://www.memocode-conference.com

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.

IMPORTANT DATES

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
submissions
that present novel formal methods and design techniques addressing these
issues
to create, refine, and verify hardware/software systems. We also invite
application-oriented papers, and especially encourage submissions that
highlight
the design perspective of formal methods and models, including success stories
and demonstrations of hardware/software codesign. Furthermore, we invite
poster
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
studies
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.

PROCEEDINGS

Conference proceedings will be published by the IEEE Computer Society.

SUBMISSION

Submissions of research and experience papers will only be accepted through
the
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
have
been published or are being submitted to a journal or another conference with
published proceedings. Poster 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=memocode2012

DESIGN COMPETITION: MEMOCODE will again have a design contest. The contest
will
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
at
least two prize categories, each with a significant cash award. In past
editions
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
and
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.


SPONSORS: IEEE CEDA, IEEE CAS, ACM SIGBED, and ACM SIGDA.


ORGANIZING COMMITTEE

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)


PROGRAM COMMITTEE

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)

STEERING COMMITTEE

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

CAV 2021   33rd International Conference on Computer-Aided Verification
FM 2021   Formal Methods 2021
NFM 2021   13th NASA Formal Methods Symposium
IJGCA 2020   International Journal of Grid Computing & Applications
IJITCA 2020   International Journal of Information Technology, Control and Automation
ABZ 2021   ABZ 2021: 8th International Conference on Rigorous State Based Methods
ESOP 2021   30th European Symposium on Programming
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
F-IDE 2021   6th Workshop on Formal Integrated Development Environment
SIMULTECH 2021   11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications