• Algorithms and tools (such as state-space exploration, model-checking, synthesis, automated deduction, and proof-checking)
• Verification techniques (such as state-space and transition-relation reduction methods, symbolic methods, probabilistic methods, compositional and modular reasoning, theorem proving, proof checking, and integration of algorithmic and deductive methods)
• Applications and case studies (such as synchronous and asynchronous circuits, communication protocols, distributed algorithms, real-time and embedded control systems, security)
• Modeling and specification formalisms (such as logical, automata-based, and algebraic methods)
• Testing based on verification technology
• Verification in practice (integration of verification with design, specification, testing, debugging, and code generation)
• Software verification (techniques for verifying systems expressed with widespread languages).

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.

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 http://www.springer.de/comp/lncs/authors.html), sent to cav02@itu.dk. 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 cav02@itu.dk

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

• Tuesday January 22nd, 2002 - (extended, strict) paper submission
• Thursday March 28th, 2002 - author notification
• Tuesday April 30th, 2002 - final papers due

This page is also available as

• Printer-friendly HTML
• PostScript