Call for Papers
Second ACM/IEEE International Conference on
Formal Methods and Models for Co-Design (MEMOCODE 2004)
22-25 June, 2004, San Diego, California
http://www.irisa.fr/MEMOCODE
ACM Approval Pending
General Chairs: Arvind, MIT (U.S.) and
Sandeep Shukla, Virginia Tech (U.S.)
Program Chairs: Connie Heitmeyer, Naval
Research Lab (U.S.) and Jean-Pierre Talpin,
INRIA-IRISA (France)
Panels Chair: Forrest Brewer, U. California,
Santa Barbara (U.S.)
Tutorials Chair: Jose Meseguer, U. Illinois
(U.S.)
Publicity Chairs: James Hoe, CMU, and
Stephen Edwards, Columbia U. (U.S.)
Program Committee:
Gul Agha, U. Ilinois (U.S.)
Perry Alexander, U. Kansas (U.S.)
Arvind, MIT (U.S.)
Brian Bailey, Mentor Graphics (U.S.)
François Bodin, U. Rennes, IRISA (France)
Forrest Brewer, UC, Santa Barbara (U.S.)
Manfred Broy, Tech. U. Munich (Germany)
Edmund Clarke, Carnegie Mellon U. (U.S.)
Michael Colòn, Naval Research Lab (U.S.)
Robert De Simone, INRIA (France)
Stephen Edwards, Columbia U. (U.S.)
Hans Eveking, U. Darmstadt (Germany)
Harry Foster, Jasper Design Automat. (U.S.)
Masahiro Fujita, U. Tokyo (Japan)
Franco Fummi, U. Verona (Italy)
Vijay Garg, U. Texas-Austin (U.S.)
Rajesh Gupta, U. Cal., San Diego (U.S.)
Connie Heitmeyer, Naval Res. Lab (U.S.)
Jason Hickey, Cal Tech (U.S.)
James Hoe, Carnegie Mellon U. (U.S.)
Alan Hu, U. British Columbia (Canada)
Somesh Jha, U. Wisconsin (U.S.)
Daniel Kroening, Carnegie Mellon U. (U.S)
Marta Kwiatkowska, U. Birmingham (U.K.)
Paul Le Guernic, INRIA-IRISA (France)
Elizabeth Leonard, Nav. Research Lab (U.S.)
Stan Liao, Synopsys (U.S.)
Grant Martin, Cadence (U.S.)
Anmol Mathur (Calypto Design Syst., U.S.)
Jose Meseguer, U. Illinois (U.S.)
Jens Palsberg, UCLA (U.S.)
Zebo Peng, U. 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 U. (U.S.)
Steering Committee
Arvind, MIT (U.S.)
Masahiro Fujita U. Tokyo (Japan)
Rajesh Gupta, U. Cal., San Diego (U.S.)
Paul Le Guernic, INRIA-IRISA (U.S.)
Sandeep Shukla, Virginia Tech (U.S.)
Jean-Pierre Talpin, INRIA-IRISA (France)
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.
THEMES AND TRACKS
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 be accepted at the MEMOCODE
2004 paper submission site (http:www.irisa.fr/MEMOCODE). Papers must not
exceed 10 pages in length and must be in the required publication format (to be
posted at the paper submission site). Panel proposals should be submitted to Forrest
Brewer (forrest@ece.uscsb.edu) and tutorial proposals to Jose Meseguer
(meseguer@uiuc.edu). For all queries about the MEMOCODE 2004 technical
program, contact Connie Heitmeyer (heitmeyer@itd.nrl.navy.mil) or Jean-Pierre
Talpin (Jean-Pierre.Talpin@irisa.fr). The conference proceedings will be published
by either the IEEE or the ACM Press.
KEY DATES
Deadline for research/experience paper:
Deadline for panel and tutorial proposals:
Notification sent to authors:
January 30, 2004
February 12, 2004
March 15, 2004
Camera-ready copies due:
April 5, 2004