中国计算机学会（CCF）推荐学术会议-A（计算机科学理论）：CAV 2026

CAV 2026 is the 38th 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, quantum verification, autonomous systems, and computer security.

重要信息

CCF推荐：A（计算机科学理论）

录用率：25.9%（79/305，2025年）

时间地点：2026年7月26日-里斯本·葡萄牙

截稿时间：2026年1月28日

大会官网：https://conferences.i-cav.org/2026/

Call for Papers

Foundations of verification and synthesis (mathematical, logical, automata, games).

Verification algorithms (model checking, deductive verification).

Proof assistants and deductive methods.

Specifications and correctness criteria for programs and systems.

SAT, SMT, constraint solving, decision procedures.

Synthesis algorithms (software, hardware, systems).

Program and software verification (including analysis).

Hardware verification.

Verification of concurrent and distributed systems.

Verification of hybrid, embedded, and cyber-physical systems.

Abstraction and compositional techniques.

Probabilistic verification.

Testing and run-time analysis based on verification technology.

Formal methods for AI safety, explainability, and machine learning models.

Formal methods for security.

Emerging domains for verification and synthesis, e.g., biology, quantum.

Applications and case studies in practice (esp. in industry).

Paper submissions

Regular Papers (18 pages max, must be anonymized)

Short Tool Papers (10 pages max, not anonymized)

Short Application Papers (10 pages max, must be anonymized)

Industrial Experience Reports & Case Studies (10 pages max, not anonymized).

All page limits do not include references and appendices.

Papers in all four categories must be submitted by January 28, 2026 AoE, and should be in LNCS format.

TWO-STAGE-REVIEW-PROCESS

In the first stage, each paper will get two reviews. Papers with sufficient support by the reviewers will proceed to the next stage, where they will receive two additional reviews; other papers will be rejected early. The tentative notification date for early rejected papers is around March 4, 2026.