CAV 2027 is the 39th edition of CAV, and takes place—for the first time ever—in the Netherlands.
The conference spans theoretical results, algorithms, implementation techniques, and concrete applications, with a strong emphasis on practical verification tools.
CAV continues to spur progress in hardware and software verification while broadening its scope to emerging domains, including machine learning, quantum verification, autonomous systems, and computer security.
CAV's first Dutch edition connects the conference with a deep local tradition in computing, including Edsger W. Dijkstra's lasting influence on programming, algorithms, and formal reasoning.
The conference will take place in Amsterdam at KIT, formerly the Royal Tropical Institute, a historic venue beside Oosterpark and within easy reach of the city's canals, museums, cafes, restaurants, and public transport.
Important Dates
All deadlines are AoE (Anywhere on Earth).