CAV 2027 is the 39th conference in the series dedicated to advancing the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers a wide range of areas, from theoretical results to concrete applications, with a focus on practical verification tools and the algorithms and techniques required for their implementation. CAV considers it essential to continuously drive progress in hardware and software verification while expanding into new domains such as machine learning, quantum verification, autonomous systems, and computer security.