[CA] ================================================ AMAST Links 02 08

               Conference on Computer-Aided Verification, CAV'96

   *Update* of information in [AL0207C2].

   The full version of this _Call for Papers_ is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i08/full/AC0208CA.txt
 
  This conference is 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. A list of
suggested topics is given in the full version of this announcement at 
the URL above.
  The conference is part of the Federated Logic Conference (FLoC), 
July 27 - August 3, 1996, being hosted by the Center for Discrete 
Mathematics and Computer Science (DIMACS), Rutgers University, as part
of its Special Year on Logic and Algorithms.  
  *Submission Information*
  The conference will include contributed papers, project and tool
presentations, and invited lectures.  Submissions may be either 
_Regular Papers_ or _Project and Tool Presentations_.
Detailed submission information and addresses are given in the full 
version of this announcement at the URL above.
  *Important dates*
   Submission deadline (firm):                  January 4, 1996
   Notification of acceptance:                  March 11, 1996
   Proceedings version of accepted papers due:  April 17, 1996
  *Further Information*
  Plain text and Postscript(tm) versions of this Call for Papers are 
available:
   WWW : http://www.cs.cornell.edu/Info/People/tah/cav96.html
   FTP : ftp://ftp.cs.cornell.edu/pub/tah/Cav96/