Formal Methods in Computer-Aided Design: 5th International Conference 2004
Thanks to everyone for making FMCAD 2004 a great success! For people who missed the conference, Springer has published the proceedings as LNCS Volume 3312, with on-line (subscription) access to the electronic version. We hope to get slides from invited talks and tutorials up here eventually -- please check back later. Hope to see everyone at CHARME 2005 and FMCAD 2006!

-- Alan and Andy

~ Sponsors ~

FMCAD 2004 is grateful for the generous sponsorship provided by AMD, IBM, Intel, and Synopsys

~ Conference Overview ~

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 covers formal aspects of computer-aided system design including specification, verification, synthesis, and testing. Although FMCAD has traditionally focused on hardware, we also welcome research on software or hardware/software systems.

This year, we are exploiting spatial and temporal locality with the ACL2-2004 Workshop November 18-19, immediately following FMCAD, also in Austin.

~ Important Dates ~

    • Early Registration Deadline: October 15, 2004
    • Hotel Registration Deadline: October 24, 2004
    • Invited Tutorials: November 14, 2004
    • Refereed Papers: November 15 - 17, 2004

~ Registration ~

Conference registration fee includes: Sunday evening reception, lunch and coffee breaks Monday through Wednesday, the Tuesday night banquet, and a copy of the conference proceedings, published in the Springer LNCS series.

Regular Student
Early (On or before Oct. 15) US$350 US$200
Late (After Oct. 15) US$425 US$275
Click Here for Online Registration

~ Venue ~

Hayatt Regency Hotel

FMCAD 2004 will be held at the  Hyatt Regency Hotel in Austin
"This prime convention hotel is located downtown on the shores of Town Lake, within easy walking distance of Palmer Auditorium, Austin Convention Center, the legendary Sixth Street entertainment district, and the State Capitol Complex."
We have obtained a limited number of rooms at a special rate of $109 per night for reservations made prior to October 24. 
Room availability is limited so please book early to guarantee the availability of rooms. 

Click here to book your hotel room on-line at the FMCAD rate

For more resources while planning your visit to Austin Texas, please check out the Austin Convention & Visitor's Bureau

~ Invited Speakers ~

Greg Spirakis - Intel Corporation

Wayne Wolf - Princeton University

~ Invited Tutorials ~

"The Challenge of SOC Verification"
Ken Albin - Freescale Semiconductor
Alan Hunter - ARM
Eric Sherk - IBM
Sun. Nov. 14, 9:00 am

"Specification and Verification of Shared Memory Protocols and Consistency Models"
Ching Tsun Chou - Intel Corporation
Steven German - IBM T.J. Watson Research Center
Ganesh Gopalakrishnan - University of Utah
Sun. Nov. 14, 2:00 pm

~ Related Events ~

ACL2-2004 Workshop
Fifth International Workshop on the ACL2 Theorem Prover
and Its Applications (ACL2-2004)
November 18 - 19, 2004

~ Organizers ~

Organizing Committee:

Program Co-Chair: Alan Hu, University of British Columbia
Program Co-Chair: Andrew Martin, IBM Research

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)

~ Contact Information ~

If you have questions regarding FMCAD, please send email to