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

The deadline for Workshop Proposals is extended to October 22, 2007.

Call for Workshop Proposals

CAV 2008 is the 20th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue its leadership in hardware verification, maintain its recent momentum in software verification, and consider new domains such as biological systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

Traditionally, CAV hosts a number of affiliated pre- and post-event workshops complementing its technical program. Affiliated workshops will be organized on July 7 and July 8 (pre-event workshops), and on July 14 (post-event workshops, if needed) 2008. Workshop rooms will be available on campus at Princeton University and local arrangements will be facilitated by the Program Chairs.

Proposals for workshops affiliated with CAV 2008 are cordially invited. The proposals should be sent by October 15, 2007 to:

cav08-workshops (at) nec-labs.com

and should include the following information:

Additional organizational plans may include names of potential invited speakers, proposed sessions, plans for proceedings or other publications, etc.

Important Dates

Submission deadline for workshop proposals: October 15, 2007 October 22, 2007
Notification: November 1, 2007

Workshops Chair
Program Chairs