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
Proposals for workshops affiliated with CAV 2008 are
cordially invited. The proposals should be sent by
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.
Submission deadline for workshop proposals:
October 15, 2007
October 22, 2007
Notification: November 1, 2007