CAV 2026은 하드웨어 및 소프트웨어 시스템을 위한 컴퓨터 지원 형식 분석 방법론의 이론과 실제를 발전시키는 데 전념하는 일련의 38번째 학회입니다. 이 학회는 이론적 성과부터 구체적인 응용 분야까지 광범위한 분야를 다루며, 실용적인 검증 도구와 이를 구현하는 데 필요한 알고리즘 및 기법에 중점을 둡니다. CAV는 하드웨어 및 소프트웨어 검증 분야의 지속적인 발전이 매우 중요하다고 믿으며, 머신 러닝, 양자 검증, 자율 시스템, 컴퓨터 보안과 같은 새로운 분야로 확장하는 것도 중요하다고 생각합니다.