[C2] ================================================ AMAST Links 02 07

           Conference On Computer-Aided Verification, CAV'96
       New Brunswick, New Jersey, USA, July 31 - August 3, 1996

  Plain text and Postscript(tm) versions of the full _Call for Papers_
are available at URL:
   http://www.cs.cornell.edu/Info/People/tah/cav96.html
They may also be retrieved by anonymous FTP from URL:
   ftp://ftp.cs.cornell.edu/pub/tah/Cav96

  This conference is the eighth in a series dedicated to the
advancement of the theory and practice of computer-assisted formal
analysis methods for software and hardware systems.  The conference
covers the spectrum from theoretical results to concrete applications,
with an emphasis on verification tools and the algorithms and
techniques that are needed for their implementation.  The proceedings
of the conference will be published in the Springer-Verlag Lecture
Notes in Computer Science series.
  *Topics:* Modeling and specification formalisms; Algorithms and
tools; Verification techniques; Applications and case studies;
Verification in practice.
  *Submission Information:* The conference will include contributed
papers, project and tool presentations, and invited lectures.
Submissions are invited in two categories:
 o  Regular papers. Submit an extended abstract, max. 12 pages. The
    submission should contain original research, and sufficient detail
    to assess the merits and relevance of the contribution. Simultaneous
    submission to other conferences with proceedings, and submission of
    material that has already been published elsewhere, is not allowed.
 o  Project and tool presentations. Submit an abstract, max. 4 pages. In
    this category, we encourage presentations and status reports on case
    studies, industrial applications, and tools.
  Authors may submit a paper by mailing electronically a self contained
Postscript(tm) version to the address cav96-submit@research.att.com
  *Important dates:*
   Submission deadline (firm):                  January 4, 1996
   Notification of acceptance:                  March 11, 1996
   Proceedings version of accepted papers due:  April 17, 1996