Update of information in [AL0207C2] .
The full version of this Call for Papers is available.
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
- FTP