CAV 2026 est la 38e conférence d'une série consacrée à l'avancement de la théorie et de la pratique des méthodes d'analyse formelle assistée par ordinateur pour les systèmes matériels et logiciels. La conférence couvre un large éventail de domaines, des avancées théoriques aux applications concrètes, en mettant l'accent sur les outils de vérification pratiques et les algorithmes et techniques nécessaires à leur mise en œuvre. CAV considère que les progrès continus dans la vérification matérielle et logicielle sont essentiels, tout en s'ouvrant à des domaines émergents tels que l'apprentissage automatique, la vérification quantique, les systèmes autonomes et la sécurité informatique.