Plain text and Postscript(tm) versions of the full Call for Papers are available . They may also be retrieved by anonymous FTP .
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:
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