Second ACM-IEEE International Conference on
Formal Methods and Models for Codesign (MEMOCODE'2004)

Programming models, formal analysis methods and verification techniques for high-lev system design: towards convergence of formal methods and industrial trends.

June 23rd-25th, 2004 -- San Diego Hilton, California

General Co-Chairs
Arvind (Mass. Inst. of Technology, U.S.)
Sandeep Shukla (Virginia Tech, U.S.)

Program Co-Chairs
Connie Heitmeyer (Naval Research Lab, U.S.)
Jean-Pierre Talpin (INRIA-IRISA, France)

Program Committee
Gul Agha (Univ. of Ilinois, U.S.)
Perry Alexander (Univ. of Kansas, U.S.)
Arvind (Mass. Inst. of Technology, U.S.)
Brian Bailey (Mentor Graphics, U.S.)
François Bodin (Univ. of Rennes, France)
Forrest Brewer (Univ. California, Santa Barbara, U.S.)
Manfred Broy (TU Muenchen, Germany)
Edmund Clarke (Carnegie Mellon Univ., U.S.)
Michael Colon (Naval Research Lab, U.S.)
Robert De Simone (INRIA, France)
Stephen Edwards (Columbia Univ., U.S.)
Hans Eveking (Univ. of Darmstadt, Germany)
Harry Foster (Jasper Design Automation, U.S.)
Masahiro Fujita (Univ. of Tokyo, Japan)
Franco Fummi (Univ. of Verona, Italy)
Vijay Garg (Univ. of Texas, U.S.)
Daniel Kroening (Carnegie Mellon Univ., U.S.)
Rajesh Gupta (Univ. California, San Diego, U.S.)
Connie Heitmeyer (Naval Research Lab, U.S.)
Jason Hickey (California Inst. of Technology, U.S.)
James Hoe (Carnegie Mellon Univ., U.S.)
Alan Hu (Univ. of British Columbia, Canada)
Somesh Jha (Univ. of Wisconsin, U.S.)
Marta Kwiatkowska (Univ. of Birmingham, U.K.)
Paul Le Guernic (INRIA-IRISA, France)
Elizabeth Leonard  (Naval Research Lab, U.S.)
Grant Martin (Cadence, U.S.)
Anmol Mathur (Calypto Design Systems)

Jens Palsberg (
Univ. California, Los Angeles, U.S.)
Zebo Peng (Univ. of Linköping, Sweden)
Carl Pixley (Synopsys, U.S.)
R. K. Shyamasundar (TIFR, India)
Sandeep   Shukla (Virginia Tech, U.S.)
Victoria Stavridou (SRI, U.S.)
Jean-Pierre Talpin (INRIA-IRISA, France)
Matt Wilding (Rockwell-Collins, U.S.)
Wayne Wolf (Princeton Univ., U.S.)

Panels Chair: Forrest Brewer 
Tutorial Chair: Jose Meseguer

Publicity Co-Chairs:
Stephen Edwards
(Columbia Univ., U.S.)
James Hoe (Carnegie Mellon Univ., U.S.)

Steering Committee
Arvind (Mass. Inst. of Technology, U.S.)
Masahiro Fujita (Univ. of Tokyo, Japan)
Rajesh Gupta (Univ. of California, San Diego  U.S.)
Paul Le Guernic (INRIA-IRISA, France)
Sandeep   Shukla (Virginia Tech, U.S.)
Jean-Pierre Talpin (INRIA-IRISA, France)

CALL FOR PAPERS Similar trends and common problems have emerged lately in the hardware and software industries. In the hardware industry, the rising technological complexity of hardware components (e.g., the “system-on-a-chip”) coupled with requirements for increased performance and shortened time to market have produced a growing demand for higher levels of abstraction in the hardware design process.  The response has been a trend in hardware design to more abstract modeling, using variants, such as SystemC and SpecC, of general-purpose programming languages, such as C and C++. Similarly, in the software industry, the rising complexity of software systems coupled with the need for increased performance and lower software costs have led important sectors of the software industry, e.g., avionics companies, to adopt model-based approaches to software development and to increase usage of modeling languages such as UML.  Moreover, the growing need for new services in the hardware industry has led to new techniques for the adaptation and integration of existing hardware components. Similarly, in the software industry, the increasing availability of standard software components, such as middleware, has produced an urgent need to compose standard software components so that the composite system is guaranteed to deliver its services reliably and in a manner that satisfies critical properties, such as safety and security.  To adapt designs and to integrate components in a cost-effective and efficient manner, new techniques and methodologies are needed for constructing trustworthy systems from the existing base of standard hardware and software components.  The abstract models, formal languages, and formal analysis techniques produced by formal methods research should provide a sound methodological basis for the high level modeling, design, and development of both hardware and software and for adapting and integrating existing components to meet new requirements.

The goal of MEMOCODE 2004, the second in a series of international conferences, is to gather together researchers and software and hardware practitioners to explore ways in which software and hardware design can exploit research results in formal methods.  Papers, panel proposals, and tutorial proposals are invited on topics relevant to the application of formal methods to hardware and software design.  These topics include formal specification languages, formal models, model checking, theorem proving, specification-based testing, compositional methods, methodologies based on formal methods, and rigorous approaches (e.g., refinement) to transforming a hardware or software specification into a reliable, efficient implementation.

MEMOCODE 2004 will be organized to consider a number of challenging problems and issues of interest to researchers and to hardware and software designers.  To stimulate discussion of these issues and problems and to offer potential solutions, the program will be divided into five tracks, each track devoted to a particular theme. Themes that are being considered for the tracks include:

  • Assertion-Based Design and Verification
  • Design Patterns
  • Specification and Modeling Languages
  • Run-Time Verification
  • Probability-Based Methods
  • Concurrency in Software and Hardware

SUBMISSION INFORMATION Submissions of research and experience papers will exclusively be accepted at the MEMOCODE 2004 submission server.  Papers must not exceed 10 pages in length and be prepared using
the IEEE Computer Society publication format (see instructions).  Panel proposals should be submitted to Forrest Brewer ( and tutorial proposals to Jose Meseguer ( For all queries about the MEMOCODE 2004 technical program, contact Connie Heitmeyer ( or Jean-Pierre Talpin ( The conference proceedings will be published by OMNI Press.


Extended submission deadline                       February 12, 2004 (closed)

Deadline for panel and tutorial proposals:           February 18, 2004
Notification sent to authors:                              March 15, 2004
Camera-ready copies due:                                April 28, 2004