CAV recognizes the generous support of the following Institutions and
Companies:

CAV 2007 is organized by

SFB/TR 14 AVACS

CAV 2007

Computer Aided Verification (CAV)

19th International Conference

July 3-7, 2007, Berlin, Germany

Paper Submissions

There are two categories of submissions:

A. Regular papers. Submissions, not exceeding thirteen (13) pages
using Springer's LNCS format, 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. Submissions reporting on case studies in
an industrial context are strongly invited, and should describe
details, weaknesses and strength in sufficient depth.
Simultaneous submission to other conferences with proceedings
or submission of material that has already been published
elsewhere is not allowed.

B. Tool presentations. Submissions, not exceeding four (4) pages
using Springer's LNCS format, 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.

Papers can be submitted in PDF or PS format. Submission is
done with EasyChair.
Apart from your paper you'll need

Names and (postal and electronic) addresses of all
authors

Email address(es) of the corresponding
author(s)

Title and abstract of the paper in plain text format

Please follow this link to login to EasyChair (Note: Submission of papers is closed)