CAV 2027 ist die 39. Ausgabe der Konferenzreihe, die sich der Weiterentwicklung der Theorie und Praxis computergestützter formaler Analysemethoden für Hardware- und Softwaresysteme widmet. Die Konferenz deckt ein breites Spektrum von theoretischen Ergebnissen bis hin zu konkreten Anwendungen ab, mit besonderem Schwerpunkt auf praktischen Verifikationswerkzeugen sowie den Algorithmen und Techniken, die für deren Implementierung erforderlich sind. CAV betrachtet es als entscheidend, den Fortschritt in der Hardware- und Softwareverifikation kontinuierlich voranzutreiben und gleichzeitig auf neue Bereiche wie maschinelles Lernen, Quantenverifikation, autonome Systeme und Computersicherheit auszuweiten. [JIALIU_0]