CAV 2027 est la 39e édition de la série dédié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 tous les domaines, des résultats théoriques aux applications concrètes, en mettant l'accent sur les outils de vérification pratiques ainsi que sur les algorithmes et les techniques nécessaires à leur implémentation. CAV considère qu'il est essentiel de poursuivre les progrès en vérification matérielle et logicielle, tout en s'étendant à de nouveaux domaines tels que l'apprentissage automatique, la vérification quantique, les systèmes autonomes et la sécurité informatique.