CAV 2026は、ハードウェアおよびソフトウェアシステムにおけるコンピュータ支援形式解析手法の理論と実践の発展を目指す一連のカンファレンスの第38回です。本カンファレンスでは、理論的な成果から具体的な応用まで、幅広い分野を網羅し、実用的な検証ツールとその実装に必要なアルゴリズムと技術に焦点を当てています。CAVは、ハードウェアおよびソフトウェア検証の継続的な進歩が不可欠であると考えています。同時に、機械学習、量子検証、自律システム、コンピュータセキュリティといった新興分野への進出も進めています。