Die CAV 2026 ist die 38. Konferenz einer Reihe, die sich der Weiterentwicklung von Theorie und Praxis computergestützter formaler Analysemethoden für Hardware- und Softwaresysteme widmet. Die Konferenz deckt ein breites Spektrum ab, von theoretischen Erkenntnissen bis hin zu konkreten Anwendungen, mit einem Schwerpunkt auf praktischen Verifikationswerkzeugen sowie den für deren Implementierung erforderlichen Algorithmen und Techniken. CAV ist überzeugt, dass kontinuierliche Fortschritte in der Hardware- und Softwareverifikation unerlässlich sind und gleichzeitig die Forschung auf aufstrebende Bereiche wie maschinelles Lernen, Quantenverifikation, autonome Systeme und Computersicherheit ausgeweitet wird.