International Conference on Computer Aided Verification — 2027
July 19-23, 2027
KIT Royal Tropical InstituteAmsterdam, Netherlands
Logic Proof Program Analysis Software Engineering
Important Dates
| Submission deadline | January 20, 2027 |
| Notification of acceptance | April 23, 2027 |
CAV is the leading conference on computer-aided verification, covering model checking, SMT solving, theorem proving, static analysis and the verification of hardware, software and increasingly machine learning systems. It is the practical counterpart to the more foundational formal-methods venues: the tools presented here tend to be the ones the field actually uses, and papers are expected to demonstrate working artefacts rather than results alone. It suits researchers building verification tools and those applying them to real systems more than those working on proof theory by itself. Ranked A* by CORE, with an acceptance rate of 25.9% in 2025. The review process includes a fixed author response period between submission and notification, during which authors are expected to be available to answer reviews.
Venue
KIT Royal Tropical Institute
Mauritskade 63, 1092 AD Amsterdam, Netherlands
🔗 View full venue details
Our picks for International Conference on Computer Aided Verification attendees
A curated selection of hotels chosen for location, value, and fit for conference travellers.
citizenM Amsterdam South
Prinses Irenestraat 30, 1077 WX Amsterdam, Netherlands
Compact, design-forward hotel a short tram ride from the RAI, popular with younger tech crowds for its affordable rates and social common...
Generator Amsterdam
Mauritskade 57, 1092 AD Amsterdam, Netherlands
Design hostel in a former university building directly on Oosterpark, two minutes from the KIT venue, with dorms and private rooms -...
Hilton Amsterdam
Apollolaan 138, 1077 BG Amsterdam, Netherlands
Historic five-star on the Apollolaan canal, about 15 minutes from the RAI by tram. Best suited for attendees who want a landmark...
Hotel Arena Amsterdam
s-Gravesandestraat 55, 1092 AA Amsterdam, Netherlands
Design hotel in a converted 19th-century orphanage inside Oosterpark, a five minute walk from the KIT venue - the closest characterful base...
Hotel Okura Amsterdam
Ferdinand Bolstraat 333, 1072 LH Amsterdam, Netherlands
A luxury five-star between the RAI and the city centre, with two Michelin-starred restaurants and a rooftop bar with views over Amsterdam....
Mercure Amsterdam South
Gelderlandplein 10, 1082 LH Amsterdam, Netherlands
Reliable four-star in the southern district, a 10-minute tram ride from the RAI and well-priced compared to the hotels immediately adjacent to...
nhow Amsterdam RAI
Europaboulevard 2, 1083 AD Amsterdam, Netherlands
A striking 91-floor tower directly adjacent to the RAI convention centre - the closest hotel you can get, with a skybridge connection....
Volkshotel
Wibautstraat 150, 1091 GR Amsterdam, Netherlands
Former newspaper office turned creative hotel on Wibautstraat with rooftop hot tubs and a working cafe full of laptops, 10 minutes from...
International Conference on Computer Aided Verification 2026 — Lisbon, Portugal