======================================================================

			CALL FOR PAPERS

		International Conference on
	Formal Methods in Computer-Aided Design (FMCAD'98)

		      Palo Alto, CA, USA

	            4 -- 6 November 1998

	        In cooperation with  IFIP WG 10.5

	          http://lal.cs.byu.edu/fmcad/

		     fmcad@lal.cs.byu.edu

======================================================================

FOCUS AND OBJECTIVES

  The International Conference on Formal Methods in Computer-Aided
  Design '98 (FMCAD'98) is a forum for presenting state-of-the-art tools
  and techniques based on formalized reasoning for computer-aided design
  of hardware, and comes two years after the previous (and first) event
  in the FMCAD series, which received overwhelming response.  The location
  of the conference provides a unique opportunity for researchers in the
  field to interact with engineers from the Silicon Valley semiconductor
  and CAD companies. In addition, FMCAD'98 will be held immediately prior
  to ICCAD'98 for the convenience of people wanting to attend both
  conferences.

  The objective is to cover all relevant formal aspects of work in
  computer-aided system design including verification, synthesis and
  testing.  The conference will cover original research in this area, as
  well as case studies, technology transfer, and other practical
  experiments.  A special focus will be on tool demos and embedded
  tutorials.  It is intended to publish the Proceedings in time for
  distribution at the conference in the Springer LNCS series.

Specific technical areas of FMCAD'98 include, but are not limited to:

  o Hardware verification techniques based on model checking, theorem
    proving, and related or hybrid methods,

  o Correct by construction approaches to hardware design, such as
    synthesis and transformation,

  o Hybrid approaches that integrate synthesis and verification or
    different verification techniques,

  o Integration of formal methods with CAD tools, such as for synthesis,
    simulation, design exploration, and testing,

  o Formalized reasoning techniques supporting hardware- and
    system-level description languages,

  o Case studies and application of formal methods in industry.

INVITED SPEAKERS

  o Ken McMillan, Cadence Berkeley Labs, USA

  o Carl Seger, Intel Corporation, USA

  o Richard Platek, Cornell University, and Consultant, ORA Corp., USA

  o Amir Pnueli, Weizmann Institute, Israel

PAPERS

  18-page, 12-point font for evaluation, with abstract.  Simultaneous
  submission to other conferences or journals and submission of
  previously published material are not allowed.

TUTORIALS AND TOOL DEMOS

  7-page, 12-point font abstract for evaluation.  We encourage
  presentations of tools on a suitable set of completely worked out
  examples.

  Submit your papers via the FMCAD web-page http://lal.cs.byu.edu/fmcad/.
  Email to fmcad@lal.cs.byu.edu for paper and program inquiries.

IMPORTANT DATES

  Submission deadline (firm)		-- April 20, 1998

  Notification of acceptance		-- June 20, 1998

  Camera ready copy of accepted papers  -- Aug 1, 1998

GENERAL CHAIRS

 o Ganesh Gopalakrishnan, Associate Professor,
   Department of Computer Science,
   University of Utah, Salt Lake City, UT 84112-9205, USA
   Phone : +1.801.581.3568
   Fax   : +1.801.581.5843
   e-mail: ganesh@cs.utah.edu
 
 o Phillip J. Windley, Associate Professor,
   Department of Computer Science,
   Laboratory for Applied Logic, 3370 TMCB,
   Brigham Young University, Provo UT 84602-6576, USA
   Phone : +1.801.378.3722
   FAX   : +1.801.378.7775
   e-mail: windley@cs.byu.edu 

LOCAL ARRANGEMENTS

  Jens Skakkebaek (Stanford University)

PROGRAM COMMITTEE

M. Aagaard (Intel, USA)          A. Hu (UBC, Canada)                    
R. Bryant  (CMU, USA)            W. Hunt (IBM Austin, USA)              
J. Burch   (Cadence, USA)        S. Johnson (Indiana U., USA)           
A. Camilleri (HP, USA)           C. Delgado Kloos (U. Carlos III, Spain)
E. Cerny  (U. Montreal, Canada)  T. Kropf (U. Karlsruhe, Germany)       
S.-K. Chin   (Syracuse U., USA)  T. Leonard (DEC, USA)          	  
C.-T. Chou (Intel, USA)          T. Melham (Glasgow U, UK)		
F. Corella (HP, USA)		 M. Sheeran (Chalmers Tech U., Sweden)
L. Fix (Intel, Israel)           T. Shiple (Synopsys, USA)              
M. Fujita (Fujitsu, USA)	 J. Skakkebaek (Stanford U.)
S. German (IBM, USA)		 M. Srivas (SRI International, USA)
T. Henzinger (Berkeley, USA) 	 J. van Tassel (Texas Instruments, USA)
R. Hojati (HDAC and Berkeley)    R. Vemuri (U. Cinncinnati, USA)

====================== End of CFP ======================