Call for Papers

The preliminary Call for Paper can be found in [ps], [pdf], [txt].

It can also be found in french in [ps] and in [pdf].



July 18-22, 2001
Paris, France


CAV'01 conference is the thirteenth 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 practical 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 of interest include:


The conference will include contributed papers, tool presentations, and invited lectures. There are two categories of submissions:
  1. Regular papers.
    Submissions should include an extended abstract not exceeding ten (10) pages. The submission should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed.
  2. Tool presentations.
    Submissions should be an abstract not exceeding four (4) pages. The same page limit (4) applies to the conference proceedings. The submission should describe the implemented tool and its novel features. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented in this conference before will be accepted only if significant and clear enhancements to the tool are reported and implemented.

Authors are strongly encouraged to use the electronic submission procedure to be provided on the CAV'01 web page

or send a message with subject "submission information" to

People who do not have access to the net can send ten (10) hard-copies of the submission to
                         A. Finkel
Laboratoire Specification et Verification - CNRS UMR 8643
Ecole Normale Supérieure de Cachan
61, Avenue du President Wilson

Each submission should start with a title page containing the category (A or B), the title of the paper, each author's name and affiliation, the contact author's physical and e-mail addresses, phone number, a one- or two-paragraph abstract, and a list of keywords.
The submissions must consist of a postcript file, ten pages long, preferably following the LNCS guidelines (see, sent to The submission may include in addition an appendix containing technical details which may be useful in evaluating the merits of the paper and may or may not be read by the reviewers.

Please direct all inquiries about CAV'01 to


                         Submission deadline (firm): January 15, 2001
Notification of acceptance: March 21, 2001
Proceedings version of accepted papers due:        April 16, 2001
Conference: July 18-22, 2001

Submissions that are not received by 15 January 2001, and submissions that exceed the page limit run the risk of automatic rejection.




Last modified on 11th December 2000 -