CAV 2022: 34th International Conference on Computer-Aided Verification Technion Haifa, Israel, August 7-10, 2022 |
Conference website | http://i-cav.org/2022 |
Submission link | https://easychair.org/conferences/?conf=cav2022 |
Conference program | https://easychair.org/smart-program/FLoC2022/ |
Submission deadline | January 21, 2022 |
CAV 2022: 34th International Conference on Computer-Aided Verification
August 7-10 2022, Technion, Haifa, Israel
CALL FOR PAPERS
http://i-cav.org/2022/call-for-papers/
*the webpage will become available in the near future
IMPORTANT DATES
All deadlines are AoE (Anywhere on Earth).
PAPERS
- Paper submission: January 21, 2022 FIRM - there will not be an extension
- Rebuttal period: March 23-25, 2022
- Author notification: April 30, 2022
- Artifact submission: May 6, 2022
- Artifact notification: June 3, 2022
- Final version due: June 7, 2022
CAV AWARD
- Nomination deadline: February 20, 2022
CONFERENCE
- Main conference: August 7-10, 2022
- Workshops: part of FLOC https://floc2022.org/
SCOPE
CAV 2022 is the 34th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software 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. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as machine learning, autonomous systems, and computer security. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers is expected to be invited to a special issue of Formal Methods in System Design and the Journal of the ACM.
The conference will take place as part of Federated Logic Conference (FLOC) on August 7-10, 2022 in Technion campus, Haifa, Israel (if the pandemic and the world permit).
Topics of interest include but are not limited to:
- Algorithms and tools for verifying models and implementations
- Algorithms and tools for system synthesis
- Algorithms and tools that combine verification and learning
- Mathematical and logical foundations of verification and synthesis
- Specifications and correctness criteria for programs and systems
- Deductive verification using proof assistants
- Hardware verification techniques
- Program analysis and software verification
- Software synthesis
- Hybrid systems and embedded systems verification
- Formal methods for cyber-physical systems
- Compositional and abstraction-based techniques for verification
- Probabilistic and statistical approaches to verification
- Verification methods for parallel and concurrent systems
- Testing and run-time analysis based on verification technology
- Decision procedures and solvers for verification and synthesis
- Applications and case studies in verification and synthesis
- Verification in industrial practice
- New application areas for algorithmic verification and synthesis
- Formal models and methods for security
- Formal models and methods for biological systems
Submissions on a wide range of topics are sought, particularly ones that identify new research directions. CAV 2022 is not limited to topics discussed in previous instances of the conference. Authors concerned about the appropriateness of a topic may communicate with the conference chairs prior to submission.
CAV AWARD
The CAV award is given annually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification.
CAV Award Nomination deadline: February 20, 2022
For details about the CAV award nomination, please see the following page: http://i-cav.org/2022/cav-award/.
*the webpage will become available in the near future
PAPER SUBMISSION
Paper submissions in CAV fall into one of the following three categories (see more information below):
- Regular Papers (18 pages max, must be anonymized)
- Tool Papers (10 pages max, not anonymized)
- Industrial Experience Reports & Case Studies. (10 pages max, not anonymized)
Papers in all three categories must be submitted by January 21, 2022 AoE, and should be in LNCS format. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chairs may solicit further reviews after the rebuttal period.
Submission site: https://easychair.org/conferences/?conf=cav2022.
REGULAR PAPERS
Regular papers should not exceed 18 pages in LNCS format, not counting references and appendices.
Regular papers at CAV 2022 will follow a full double blind review process, which means that author names and affiliations must be omitted from the submission. Additionally, if a submission refers to prior work done by the authors, the reference should be made in the third person. These are firm submission requirements, and any regular paper that does not conform to these requirements will be rejected without review.
We do not discourage authors to put their submission on arXiv, but we strongly encourage authors to not put the work on arXiv around (within 1 week) or shortly after (within 1 month) the submission deadline, because potential reviewers may be subscribed to receive updates on recently posted papers.
Authors can include a clearly marked appendix at the end of their submissions that is exempt from the page limit restrictions. However, the reviewers are not obliged to read the contents of these appendices. Regular papers should contain original research and sufficient detail to assess the merits and relevance of the contribution. Papers will be evaluated on the basis of a combination of correctness, technical depth, significance, novelty, clarity, and elegance.
Authors of accepted regular papers will be invited (but are not required) to submit the relevant artifact for evaluation by the artifact evaluation committee. Authors are encouraged to consult SIGPLAN's Empirical Evaluation Guidelines (http://sigplan.org/Resources/EmpiricalEvaluation/) when reporting on empirical results.
TOOL PAPERS
Tool papers should not exceed 10 pages, not counting references.
Tool papers should describe system and implementation aspects of a tool with a large (potential) user base (experiments not required, rehash of theory strongly discouraged). Papers describing tools that have already been presented (in any conference) will be accepted only if significant and clear enhancements to the tool are reported and implemented.
Tool papers will be provisionally accepted based on the manuscript. Authors of provisionally accepted tool papers must submit an artifact for evaluation by the artifact evaluation committee: final acceptance is conditional on successful artifact evaluation at the "functional" level. In special cases, where an artifact cannot be submitted, the authors should contact the Artifact Evaluation chairs to find alternate modes of artifact evaluation.
INDUSTRIAL EXPERIENCE REPORTS AND CASE STUDIES
Industrial Experience Reports and Case Studies should not exceed 10 pages, not counting references.
These papers are expected to describe the use of formal methods techniques in industrial settings or in new application domains. Papers in this category do not necessarily need to present original research results but are expected to contain novel applications of formal methods techniques as well as an evaluation of these techniques in the chosen application domain. Such papers are encouraged to discuss the unique challenges of transferring research ideas to a real-world setting and reflect on any lessons learned from this technology transfer experience.
PROGRAM COMMITTEE
Aina Niemetz, Stanford
Alastair Donaldson, Imperial College London
Alessandro Cimatti, FBK
Alexander Ivrii, IBM
Alexander J. Summers, University of British Columbia
Alexander Nadel, Intel
Alexandra Silva, Cornell University
Ana Sokolova, University of Salzburg
Anastasia Mavridou, KBR Inc, NASA Ames Research Center
Andreas Podelski, University of Freiburg
Andrei Popescu, University of Sheffield
Andrey Rybalchenko, Microsoft Research
Anna Lukina, TU Delft
Anna Slobodova, Intel
Antoine Miné, Sorbonne Université
Armin Biere, University of Freiburg
Azalea Raad, Imperial College London
Bor-Yuh Evan Chang, University of Colorado Boulder and Amazon
Caterina Urban, INRIA
Corina Pasareanu, CMU/NASA Ames Research Center
Dana Drachsler Cohen, Technion
Daniel Kroening, Amazon
David Jansen, Chinese Academy of Sciences, Beijing
Deepak D'souza, Indian Institute of Science
Dejan Jovanović, Amazon Web Services
Derek Dreyer, MPI-SWS
Elizabeth Polgreen, University of Edinburgh
Elvira Albert, Complutense University of Madrid
Erika Abraham, RWTH Aachen University
Grigory Fedyukovich, Florida state university
Guy Avni, Haifa university
Guy Katz, Hebrew university
Hadar Frenkel, CISPA
Hillel Kugler, Bar Ilan university
Hiroshi Unno, University of Tsukuba
Isabel Garcia-Contreras, Waterloo
Ivana Cerna, Masaryk University
Jade Alglave, University College London & Arm
Jean-Baptiste Jeannin, University of Michigan
Joost-Pieter Katoen, RWTH Aachen University
Josh Berdine, Meta
Joxan Jaffar, National University of Singapore
Kenneth L. McMillan, UT Austin
Klaus v. Gleissenthall, Vrije Universiteit Amsterdam
Konstantin Korovin, University of Manchester
Krishna Shankaranarayanan, IIT Bombay
Kuldeep Meel, National University of Singapore
Laura Titolo, NIA/NASA LaRC
Liana Hadarean, AWS
Marieke Huisman, U Twente
Marijana Lazić, TU Munich
Marijn J.H. Heule, CMU
Markus Rabe, Google
Martina Seidl, Johannes Kepler University Linz
Mingsheng Ying, Chinese Academy of Sciences; Tsinghua University
Miriam García Soto, IST Austria
Natasha Sharygina, University of Lugano
Nikolaj Bjorner, Microsoft Research
Nir Piterman, University of Gothenburg
Oded Padon, VMware Research
Parasara Sridhar Duggirala, UNC Chapel Hill
Parosh Aziz Abdulla, Uppsala University
Pavithra Prabhakar, Kansas State University
Philippa Gardner, Imperial College London
Pierre Ganty , IMDEA Software Institute
Rajeev Joshi, Amazon
Rayna Dimitrova, CISPA
Roderick Bloem, Graz University of Technology
Ruben Martins , CMU
Rupak Majumdar, MPI-SWS
Ruzica Piskac , Yale University
Sébastien Bardin, CEA LIST, Université Paris-Saclay
Shuvendu Lahiri, Microsoft Research
Sorav Bansal, IIT Delhi and CompilerAI Labs
Subodh Sharma, IIT Delhi
Supratik Chakraborty, IIT Bomaby
Swarat Chaudhuri, UT Austin
Swen Jacobs, CISPA
Taylor T. Johnson, Vanderbilt University
Temesghen Kahsai, Amazon
Wei-Ngan Chin, National University of Singapore
Xavier Rival, INRIA Paris/ENS/PSL
Xujie Si , McGill University
Yang Liu, Nanyang Technological University
Yu-Fang Chen, Institute of Information Science, Academia Sinica
Yuxin Deng, East China Normal University
CONTACT
For any questions please contact the two PC chairs:
Sharon Shoham (sharon.shoham@gmail.com),
Yakir Vizel (yvizel@cs.technion.ac.il)