20th International Conference on
Computer Aided Verification (CAV) 2008
July 7 – 14, 2008
The paper submission site is now closed.
Please follow this link to login to EasyChair for paper submission, after reading the guidelines shown below.
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
- Topic(s) relevant to the paper
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
NEW: Since many people have asked, the page limits apply to all
material including references, but not to appendices (please be reasonable in
the total page count). We will provide the appendices to reviewers, but do
not require them to read it.
Papers can be submitted in PDF or PS format. Submission is done with EasyChair.
Papers exceeding the stated maximum length
(or that do not follow the recommended Springer LNCS format)
run the risk of rejection without review.
The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments.
Paper submission (firm): January 28, 2008 23:59 Samoa Time, GMT -11 hours)
Author feedback/rebuttal period:
March 9-11, 2008
Notification of acceptance/rejection:
March 26, 2008
Final version due:
April 21, 2008
Springer’s LNCS format. (follow links “For Authors” -> “Information for LNCS Authors” -> )