CAV 2002 - Call for Papers

Copenhagen, Denmark
July 27th - 31st, 2002
Topics of interest include:

Submission information

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 thirteen (13) 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 form at

People who do not have access to the net can send ten (10) hard-copies of the submission to Program Co-Chair Kim G. Larsen.

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 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'02 to

Submissions that are not received by 22 January 2002 (new extended deadline), and submissions that exceed the page limit run the risk of automatic rejection.

Important dates

Program Committee