Formal
Methods in Computer-Aided Design: 5th International Conference 2004
|
||||||||||||
-- Alan and Andy |
||||||||||||
|
||||||||||||
|
||||||||||||
|
|
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 |
|
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. |
Greg
Spirakis - Intel Corporation
Biography
Wayne
Wolf - Princeton University
Biography
"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
ACL2-2004
Workshop
Fifth International Workshop on the ACL2 Theorem Prover
and Its Applications (ACL2-2004)
November 18 - 19, 2004
http://www.cs.utexas.edu/users/moore/acl2/workshop-2004/
Organizing Committee:
Program Co-Chair: Alan Hu, University of British Columbia
Program Co-Chair: Andrew Martin, IBM ResearchProgram 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)
If
you have questions regarding FMCAD, please send email to fmcad2004chairs@cs.ubc.ca