International Conference on Computer Aided Verification (CAV’14) is the 26th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. As part of the Federated Logic Conference (FloC) and the Vienna Summer of Logic, CAV’14 will be collocated with many other conferences in logic in Vienna, Austria on July 18 – 22, 2014.
CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security. 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.
- Erik Winfree – Caltech, Pasadena, California, USA: Designing and verifying molecular circuits and systems made of DNA
- Rance Cleaveland – Univ. Maryland and Fraunhofer, USA: will talk about Automated Testing (preliminary title)
FLOC will host CAV-related workshops on 17 – 18 July, 2014 and on 23 – 24 July, 2014 and the first day of CAV will be dedicated to tutorials.
Topics of interest include but are not limited to:
- Algorithms and tools for verifying models and implementations
- Hardware verification techniques
- Deductive, compositional, and abstraction techniques for verification
- Program analysis and software verification
- Verification methods for parallel and concurrent hardware/software systems
- Testing and runtime analysis based on verification technology
- Applications and case studies in verification
- Decision procedures and solvers for verification
- Mathematical and logical foundations of practical verification tools
- Verification in industrial practice
- Algorithms and tools for system synthesis
- Hybrid systems and embedded systems verification
- Verification techniques for security
- Formal models and methods for biological systems
The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers will be invited to a special issue of Formal Methods in System Design and the Journal of the ACM.
Anyone can submit a nomination. The Award Committee can originate a nomination. Anyone, with the exception of members of the Award Committee, is eligible to receive the Award. A nomination must state clearly the contribution(s), explain why the contribution is fundamental or the series of contributions is outstanding, and be accompanied by supporting letters and other evidence of worthiness.
Nominations should include a proposed citation (up to 25 words), a succinct (100−250 words) description of the contribution(s), and a detailed statement to justify the nomination. The cited contribution(s) must have been made not more recently than five years ago and not over twenty years ago.
In addition, the contribution(s) should not yet have received recognition via a major award, such as the ACM Turing or Kanellakis Awards. The nominee may have received such an award for other contributions.
The 2014 CAV Award Committee consists of
- Marta Kwiatkowska, Oxford University, UK, Chair
- Moshe Vardi, Rice University, USA
- Ahmed Bouajjani, University Paris Diderot, France
- Tom Ball, Microsoft, USA
The nominations should be sent to Martha Kwiatowska. Nominations must be received by January 15, 2014.