CALL FOR PAPERS
COMPUTER AIDED VERIFICATION (CAV)
16th International Conference
July 13 -- 17 , 2004, Omni Parker House Hotel, Boston, USA
http://www.dcs.warwick.ac.uk/CAV
Aims and Scope:
CAV'04 conference is the 16th in a series dedicated to the
advancement of the theory and practice of computer-assisted formal
analysis methods for software and hardware 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. The proceedings of the
conference will be published in the Springer-Verlag Lecture Notes
in Computer Science series. Sample topics of interest include:
o Algorithms and tools for verifying models and implementations
o Deductive, compositional, and abstraction techniques for verification
o Modeling and specification formalisms
o Program analysis and software verification
o Testing and runtime analysis based on verification technology
o Applications and case studies
o Verification in industrial practice
Special Events:
CAV'04 is colocated with the International ACM Symposium on Software
Testing and Analysis, ISSTA'04.
Invited speakers for CAV'04 are David Harel (Weizmann Institute, plenary
speaker for the joint CAV-ISSTA session), Mary Jean Harrold (Georgia Institute
of Technology), and Tom Reps (University of Wisconsin).
CAV will be preceded by an invited tutorial on processor verification by
Randy Bryant (Carnegie Mellon University), David Dill (Stanford University),
and Warren Hunt (University of Texas, Austin). The conference will be
followed by special workshops.
Paper submission:
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.
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.
Information concerning the procedure for submissions is available on the
conference home page http://www.dcs.warwick.ac.uk/CAV
Important dates:
Paper submission (strict): January 23, 2004
Notification of acceptance/rejection: March 29, 2004
Final version due: April 30, 2004
Program Chairs:
Rajeev Alur, University of Pennsylvania
[log in to unmask]
Doron A. Peled, The University of Warwick
[log in to unmask]
Program Committee:
Rajeev Alur, U Pennsylvania
David Basin, ETH Zurich
Armin Biere, ETH Zurich
Randy Bryant, CMU
Dennis Dams, Bell Labs
Luca de Alfaro, UC Santa Cruz
David Dill, Stanford U
Allen Emerson, UT Austin
Kousha Etessami, U of Edinburgh
Steven German, IBM
Mike Gordon, U of Cambridge
Aarti Gupta, NEC Labs
Klaus Havelund, NASA Ames
Holger Hermanns, Saarland U
Pei-Hsin Ho, Synopsis
Alan Hu, U of British Columbia
Bengt Jonsson, Uppsala U
Andreas Kuehlman, Cadence Labs
Salvatore La Torre, U of Salerno
Oded Maler, Verimag
Pete Manolios, Georgia Tech
Ken McMillan, Cadence Labs
Anca Muscholl, U of Paris 7
Chris Myers, U of Utah
Doron Peled, U of Warwick
Fabio Somenzi, U of Colorado
Amir Pnueli, NYU
Shaz Qadeer, Microsoft Research
Jun Sawada, IBM
Frits Vaandrager, U of Nijmegen
Pierre Wolper, U of Liege
Sergio Yovine, Verimag\\[1mm]
Steering Committee:
Edmund M. Clarke, CMU
Mike Gordon, U of Cambridge
Robert P. Kurshan, Cadence
Amir Pnueli, NYU
|
