Conference on Computer Aided Verification
Generated by GPT-5-miniExpansion Funnel Raw 148 → Dedup 0 → NER 0 → Enqueued 0
| Conference on Computer Aided Verification | |
|---|---|
| Name | Conference on Computer Aided Verification |
| Abbreviation | CAV |
| Discipline | Formal methods |
| Established | 1989 |
| Frequency | Annual |
| Country | International |
Conference on Computer Aided Verification is an annual scholarly conference focusing on automated verification, model checking, and formal methods. It attracts researchers from universities, companies, and laboratories worldwide, facilitating exchange among participants affiliated with Stanford University, Massachusetts Institute of Technology, Carnegie Mellon University, University of Oxford, University of Cambridge. The meeting draws practitioners from institutions such as Bell Labs, Microsoft Research, Google Research, IBM Research, Siemens and agencies like NASA, European Space Agency, National Institute of Standards and Technology, Defence Research and Development Organisation.
History
CAV began in 1989 amid growing interest originating in communities around Eindhoven University of Technology, Technische Universität München, University of Colorado Boulder, Cornell University and Rutgers University. Early influences include breakthroughs at INRIA, SRI International, University of California, Berkeley, Princeton University and collaborations involving Dartmouth College and UC San Diego. Foundational interactions connected work from Turing Award winners affiliated with Bell Labs, University of Edinburgh, McGill University and University of Toronto. Over decades, collaborations extended to centers such as ETH Zurich, Imperial College London, KTH Royal Institute of Technology, Tokyo Institute of Technology, Peking University and Tsinghua University.
Scope and Topics
CAV covers topics ranging from model checking and theorem proving to synthesis, static analysis, and runtime verification, connecting research from Microsoft Research Redmond, Amazon Web Services, Facebook AI Research, DeepMind and NVIDIA Research. Sessions often feature techniques developed at LORIA, University of Twente, Swansea University, University of Glasgow, University of Warwick and University of Illinois Urbana-Champaign. Application domains discussed include avionics projects at Boeing, safety-critical systems for Airbus, protocols used by IETF, cryptographic standards from ISO/IEC, and verification challenges in products from Intel Corporation, ARM Holdings, Qualcomm and Texas Instruments.
Organization and Sponsorship
The conference is organized by a program committee drawn from universities and companies such as University of Pennsylvania, Yale University, Columbia University, New York University, Duke University, Johns Hopkins University and University of Michigan. Sponsorship often comes from organizations including Association for Computing Machinery, IEEE Computer Society, European Association for Theoretical Computer Science, Society for Industrial and Applied Mathematics, Google, Microsoft, Amazon, IBM, Siemens AG and international research councils like European Research Council and National Science Foundation. Local hosting involves institutions such as University of Toronto, University of British Columbia, McMaster University, University of Melbourne, Australian National University and University of Auckland.
Notable Papers and Contributions
Influential contributions presented at the conference include early model checking algorithms inspired by work at Bell Labs and theoretical advances related to decidability by researchers from Harvard University, Columbia University, Brown University, University of Chicago, Yale University and Rice University. Seminal tools and frameworks introduced have connections to projects at CERN, Los Alamos National Laboratory, Sandia National Laboratories, Argonne National Laboratory, Pacific Northwest National Laboratory and companies like Synopsys, Cadence Design Systems, Mentor Graphics. Awarded papers have linked to verification engines such as ones developed at University of Edinburgh and University of Oxford, and proof assistants originally advanced at University of Cambridge and Cornell University.
Conferences and Locations
CAV has been hosted in cities with strong academic and industrial ecosystems including Paris, San Francisco, Boston, Seattle, Cambridge, Massachusetts, Oxford, Prague, Munich, Edinburgh, Stockholm, Tokyo, Beijing, Seoul, Toronto, Montreal, Melbourne, Auckland, Bangalore, Hyderabad, Zurich, Geneva, Amsterdam, Rome, Barcelona, Lisbon, Dublin, Helsinki, Copenhagen, Warsaw, Budapest, Kraków, Brussels, Hamburg, Cologne, Milan, Turin, Vienna, Salzburg, Graz, Ljubljana, Sarajevo and Belgrade.
Awards and Recognition
The conference presents awards and honors recognizing outstanding papers and contributions, connecting laureates to prizes historically associated with institutions like ACM SIGPLAN, ACM SIGACT, IEEE Fellow nominations and recognitions tied to researchers at Tsinghua University, National Taiwan University, Seoul National University, KAIST, Nanyang Technological University, Indian Institute of Science, Indian Institute of Technology Madras and Pohang University of Science and Technology. Recipients often proceed to leadership roles in labs at Microsoft Research Cambridge, Amazon Research Cambridge, Facebook AI Research London, Google DeepMind London, Huawei Noah's Ark Lab and Alibaba DAMO Academy.