posted by user: bonotake || 9525 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

FormaliSE 2020   8th International Conference on Formal Methods in Software Engineering
IJMNCT 2019   International Journal of Mobile Network Communications & Telematics
CAV 2020   Computer Aided Verification
DataMod 2019   8th International Symposium “From Data to Models and Back (DataMod)”
IJCAR 2020   10th International Joint Conference on Automated Reasoning
ABZ 2020   ABZ 2020 – 7th International Conference on Rigorous State Based Methods
BIOINFORMATICS 2020   11th International Conference on Bioinformatics Models, Methods and Algorithms
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
LiVe 2020   4th Workshop on Learning in Verification
CREST 2020   5th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology