Call for Papers -- FMCAD 2004

Formal Methods in Computer-Aided Design: 5th International Conference
	http://www.fmcad.org/2004

November 14--17, 2004, Hyatt Regency Hotel, Austin, Texas

FMCAD 2004 is the fifth in a series of biennial conferences
(alternating with CHARME in odd years in Europe) on formal methods in
computer-aided design.  The conference provides a forum for presenting
state-of-the-art tools, methods, and technologies for the application
of formalized reasoning to the design of computer and microelectronic
systems. The conference will be held November 14-17, 2004 in Austin,
Texas, USA.

The conference covers formal aspects of computer-aided system design
including specification, verification, synthesis, and testing.  Papers
on original research, case studies, technology transfer, and practical
experience are solicited.  While FMCAD has traditionally focused on
hardware, we also welcome research on software or hardware/software
systems. A principal goal of the conference is to provide opportunities
for researchers in the field to interact with the semiconductor and CAD
industries. The conference proceedings will be published in Springer's
Lecture Notes in Computer Science series, which provides both printed
and electronic dissemination.


TOPICS INCLUDE

    Verification tools and techniques based on model checking, 
    theorem proving, and related or hybrid technologies

    Environments for heterogeneous reasoning in design; 
    integration of multiple reasoning tools and formalisms

    Specification methods and analysis tools based on formal 
    representations

    Implementation methods, tools, and techniques based on 
    formal synthesis, design derivation, transformation, and 
    correct-by-construction approaches

    Case studies and applications of formal methods in industry

    Algorithms and data structures for formal analysis of 
    design structure and behavior

As a leading forum for formal methods in system design practice, FMCAD
seeks groundbreaking results involving new technologies or application
domains.  In addition to advances along established lines, FMCAD
promotes work that broadens the effective use of rigorous reasoning to
attain high levels of design integrity.


IMPORTANT DATES

EXTENDED Submission Deadline: 		April 8, 2004
Notification of Acceptance:	June 1, 2004
Final Versions Due:		August 1, 2004

Submissions should not exceed 15 pages in
LNCS format (http://www.springer.de/comp/lncs/authors.html)

Papers should be submitted electronically at
	http://www.fmcad.org/2004/submissions.html


ORGANIZING COMMITTEE

Alan J. Hu, Program Co-Chair
University of British Columbia

Andrew K. Martin, Program Co-Chair
IBM


PROGRAM COMMITTEE

Mark Aagaard (University of Waterloo, CANADA)
Dominique Borrione (University of Grenoble, FRANCE)
Randy Bryant (Carnegie Mellon University, USA)
Jerry R. Burch  (Synopsys, USA)
Ed Clarke (Carnegie Mellon University, USA)
Nancy Day (University of Waterloo, CANADA)
David Dill (Stanford University, USA)
Hans Eveking (Darmstadt U of Tech, GERMANY)
Masahiro Fujita (University of Tokyo, JAPAN)
Daniel Geist (IBM, ISRAEL)
Steven German (IBM, USA)
Ganesh Gopalakrishnan (U of Utah, USA)
Mike Gordon (Cambridge University, UK)
Susanne Graf (VERIMAG, FRANCE)
Ravi Hosabettu (Sun Microsystems, USA)
Alan J. Hu (University of British Columbia, CANADA)
Warren Hunt (University of Texas, USA)
Steve Johnson (Indiana University, USA)
Robert B. Jones (Intel, USA)
Thomas Kropf (Bosch, GERMANY)
Andreas Kuehlmann (Cadence, USA)
Tim Leonard (Intel, USA)
Andy Martin (IBM, USA)
Ken McMillan (Cadence, USA)
Tom Melham (University of Oxford, UK)
Paul S. Miner (NASA, USA)
John O'Leary (Intel, USA)
Laurence Pierre (University of Nice, FRANCE)
Carl Pixley (Synopsys, USA)
Shaz Qadeer (Microsoft Research, USA)
Sriram Rajamani (Microsoft Research, USA)
David Russinoff (Advanced Micro Devices, USA)
Jun Sawada (IBM, USA)
Eli Singerman (Intel, ISRAEL)
Satnam Singh (Microsoft, USA)
Anna Slobodova (Intel, USA)
Enrico Tronci (Univ. di Roma ``La Sapienza'', ITALY)
Matthew Wilding (Rockwell Collins, USA)
Jin Yang (Intel, USA)
Tomohiro Yoneda (National Inst. of Informatics, JAPAN)