20th International Conference on
Computer Aided Verification (CAV) 2008
July 7 – 14, 2008
Princeton, USA

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:

Paper Submission

There are two categories of submissions:

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.

Important Dates

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

Useful Links

Springer’s LNCS format. (follow links “For Authors” -> “Information for LNCS Authors” -> )