(Apologies if you receive multiple copies. Please reply to me with
email address corrections or deletions. Thanks! --Alan)
Call for Participation -- FMCAD 2004
Formal Methods in Computer-Aided Design: 5th International Conference
14-17 November 2004, Austin, Texas, USA
>>>>> Early Registration Deadline: October 15, 2004 <<<<<
For information, the advance program, and on-line registration, see:
http://www.fmcad.org/2004
* 29 Top-Quality Refereed Papers:
http://www.fmcad.org/2004/accepted/adv-prog.html
* Invited Speakers:
Greg Spirakis, Vice-President, Intel Corporation, on
higher-level and refinement-based design.
Wayne Wolf, Princeton University, on challenges in
system-level design.
* Invited Tutorials:
"Specification and Verification of Shared Memory Protocols and
Consistency Models" by Ching-Tsun Chou, Intel; Steven German,
IBM T.J. Watson Research Center; and Ganesh Gopalakrishnan,
University of Utah.
"The Challenge of SOC Verification" by Ken Albin, Freescale
Semiconductor; Alan Hunter, ARM; and Eric Sherk, IBM.
