CAV 2026 is the 38th conference in a 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 achievements to concrete applications, with a focus on practical verification tools and the algorithms and techniques required for their implementation. CAV believes that continuous progress in hardware and software verification is crucial, while also expanding into emerging fields such as machine learning, quantum verification, autonomous systems, and computer security.