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 of machine learning systems. It is the practical counterpart to the more foundational venues in formal methods, and the tools presented here tend to be the ones people actually use.
The 2027 edition runs July 19 to 23 at KIT, formerly the Royal Tropical Institute, at Mauritskade 63 beside Oosterpark. This is the same venue UAI used in 2026.
Where you stay matters more than usual in Amsterdam. KIT is east of the centre, and a lot of the city’s conference hotel stock sits south in the Zuidas and RAI district, which is 3 to 4 km away in the wrong direction. The hotels listed below include three within walking distance to the east, the closest about 500 m, so it is worth choosing deliberately rather than booking whatever comes up first for Amsterdam.
The deadline structure has one thing that catches people. Papers close January 20, 2027, and notification is April 23, but between them sits a fixed response period from April 5 to 8 when authors need to be available to reply to reviews. Workshop proposals close much earlier, on September 15, 2026. Early registration ends May 18. All deadlines are anywhere on earth, and the full call had not been published at the time of writing.
One piece of planning value: PETS 2027 runs in Delft from July 19 to 24, the same week and about an hour away by train. If your work sits between verification and privacy, the two are genuinely combinable on one trip to the Netherlands.
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