CAV 2003 Call For Papers
Warren A. Hunt Jr.
Warren A. Hunt, Jr. and Fabio Somenzi
Co-Chairmen
E-mail: cav...@cs.utexas.edu
Scope and Intent
CAV 2003 is the 15th Computer-Aided Verification conference. This
conference will be held in Boulder, Colorado, USA, July 8--12, 2003.
In addition, there will be several satellite events that relate to
computer-aided verification. CAV solicits papers about automated
tools and techniques for hardware and software verification. CAV also
solicits verification case studies and performance investigations.
Topics of Interest:
- Algorithms and tools (such as state-space exploration, model-checking,
synthesis, automated deduction, and proof-checking)
- Verification techniques (such as state-space and transition-relation
reduction methods, symbolic methods, probabilistic methods,
compositional and modular reasoning, theorem proving, proof
checking, and integration of algorithmic and deductive methods)
- Applications and case studies (such as synchronous and asynchronous
circuits, communication protocols, distributed algorithms, real-time
and embedded control systems, security)
- Modeling and specification formalisms (such as logical,
automata-based, and algebraic methods)
- Testing-based methods built using verification technology
- Verification in practice (integration of verification with design,
specification, testing, debugging, and code generation)
- Software verification (techniques for verifying systems expressed
with widespread languages)
- Use of computer-aided verification techniques in novel applications,
e.g., use of model-checking algorithms in business software,
security systems, and automobiles
Submission Information
The conference will include contributed papers, tool presentations,
and invited lectures.
There are two categories of submissions, regular papers and tool
presentations.
A. Regular Papers.
Submissions should include an extended abstract not exceeding thirteen
(13) pages. The submission 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 should be an abstract not exceeding four (4) pages. The
same page limit (4) applies to the conference proceedings. The
submission 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.
Authors are strongly encouraged to use the electronic submission form
at
http://www.cs.utexas.edu/users/trcenter/CAV/submit.html
Each submission should start with a title page containing the category
(A or B), the title of the paper, each author's name and affiliation,
the contact author's physical and e-mail addresses, phone number, a
one- or two-paragraph abstract, and a list of keywords. The
submissions must consist of a PostScript file preferably following the
LNCS guidelines (http://www.springer.de/comp/lncs/authors.html).
The submission may include in addition an appendix containing
technical details which may be useful in evaluating the merits of the
paper and may be read by the reviewers.
Submissions that are not received by 22 January 2003, and submissions
that exceed the page limit run the risk of automatic rejection.
Important Dates
- January 22, 2003 - deadline for paper submission
- March 28, 2003 - author notification
- April 30, 2003 - final papers due
Please direct all inquiries about CAV'03 to cav...@cs.utexas.edu.
Satellite Events
There will be several meetings that are being organized in conjunction
with CAV 2003.
ACL2 Workshop (Hunt, Kaufmann, Moore), 2 days, July 13 -- 14, 2002
Bounded Model Checking (Biere, Otrichman), 1 day, July 13, 2002
Other events may be added. Please contact the conference chairs if
you would like to host a satellite event.
Program Committee
Rajeev Alur <al...@cis.upenn.edu>
George Avrunin <avr...@math.umass.edu>
Armin Biere <bi...@inf.ethz.ch>
Roderick Bloem <roderic...@ist.tu-graz.ac.at>
Ed Clarke <edmund...@emc.cs.cmu.edu>
Matt Dwyer <dw...@cis.ksu.edu>
Allen Emerson <eme...@cs.utexas.edu>
Steven German <ger...@watson.ibm.com>
Orna Grumberg <or...@cs.technion.ac.il>
Alan Hu <a...@cs.ubc.ca>
Warren Hunt, Jr. <hu...@cs.utexas.edu>
Robert Jones <rjo...@ichips.intel.com>
Bengt Jonsson <be...@csd.uu.se>
Nils Klarlund <klar...@research.att.com>
Andreas Kuehlmann <ku...@cadence.com>
Orna Kupferman <or...@cs.huji.ac.il>
Bob Kurshan <rkur...@cadence.com>
Yassine Lakhnech <lakh...@imag.fr>
Kim Larsen <k...@cs.auc.dk>
Panagiotis (Pete) Manolios <mano...@cc.gatech.edu>
Ken McMillan <mcmi...@cadence.com>
Chris Myers <my...@ching.elen.utah.edu>
Kedar Namjoshi <ke...@research.bell-labs.com>
Doron Peled <do...@ece.utexas.edu>
Sriram Rajamani <sri...@microsoft.com>
Tom Shiple <shi...@synopsys.com>
Fabio Somenzi <fa...@colorado.edu>
Helmut Veith <ve...@dbai.tuwien.ac.at>
Yaron Wolfsthal <wolf...@il.ibm.com>