International Conference on Computer Aided Verification — 2026
July 26-29, 2026
Lisbon, PortugalLogic Proof Program Analysis Software Engineering
Important Dates
| Submission deadline | January 28, 2026 |
The International Conference on Computer Aided Verification (CAV) is the flagship conference for research on the theory and practice of automated formal verification, covering model checking, SMT solvers and decision procedures, program analysis, hardware and software verification, and the verification of machine learning and probabilistic systems. The 38th CAV takes place July 26-29, 2026, in Lisbon, Portugal, as part of the Federated Logic Conference (FLoC) 2026, which brings together the major logic and verification conferences in a single co-located meeting. A*-ranked, CAV draws both academic researchers and industry verification teams. Lisbon is well connected by air across Europe and the Americas, with the airport close to the city center.
Venue info not available.
Our picks for International Conference on Computer Aided Verification attendees
A curated selection of hotels chosen for location, value, and fit for conference travellers.
Bairro Alto Hotel
Praca Luis de Camoes 2, 1200-243 Lisbon, Portugal
Iconic boutique five-star at the top of Bairro Alto with a celebrated rooftop bar overlooking the Tagus estuary - the most characterful...
EPIC SANA Lisboa Hotel
Avenida Engenheiro Duarte Pacheco 15, 1070-100 Lisbon, Portugal
Contemporary five-star in the Amoreiras district, about 1.5km from the ISCTE venue and well served by Metro - the most convenient luxury...
HI Parque das Nações Youth Hostel
Rua de Moscavide Lote 47-101, 1998-011 Lisbon
A hostel offering dormitories and private rooms, free breakfast and Wi-Fi, a communal kitchen and lounge, and 24-hour reception. Best suited for...
ibis Lisboa Parque das Nações
Rua do Mar Vermelho Lote 1.07.2.2, 1990-203 Lisbon
This three-star ibis hotel provides modern rooms with air conditioning and free Wi-Fi, along with an on-site restaurant and bar for breakfast...
Ibis Lisbon Liberdade
Rua Barata Salgueiro 53, 1250-044 Lisbon, Portugal
Budget Ibis just off the Avenida da Liberdade with clean, compact rooms at low rates for central Lisbon - the best value...
Meliá Lisboa Oriente
Avenida Dom João II, Lote 1.16.02B, 1990-083 Lisbon
A four-star property with comfortable rooms featuring mini-bars and safes, a restaurant serving Mediterranean cuisine, and leisure options including access to nearby...
Moxy Lisboa Oriente Hotel
Avenida Dom João II Lote 1.17.02B, 1990-083 Lisbon
A three-star lifestyle hotel with stylish rooms, tech-friendly amenities, and a vibrant lobby bar. Best suited for young professionals and budget-conscious travellers**....
Myriad by SANA Hotel
Cais das Naus Lote 2.21.01, Parque das Nações, Lisboa 1990-173
A five-star waterfront retreat located in Parque das Nações beside the Vasco da Gama Tower. Best suited for luxury travellers, couples and...
NH Collection Lisboa Liberdade
Avenida da Liberdade 180-B, 1250-146 Lisbon, Portugal
Elegant four-star on the grand Avenida da Liberdade with a rooftop bar and easy Metro access to the ISCTE venue - a...
Olissippo Oriente
Avenida Dom João II 32, 1990-083 Lisbon
This four-star hotel provides modern rooms with mini-bar, safe and high-speed internet, plus convenient services like babysitting, concierge and currency exchange. Best...
Tivoli Oriente Hotel
Av. Dom João II n.º 27, 1990-083 Lisbon
A four-star hotel opposite Gare do Oriente station offering spacious rooms with tea/coffee facilities, mini-bar and high-speed Wi-Fi. Best suited for families...
VIP Executive Art's Hotel
Avenida Dom João II 47, 1998-028 Lisbon
This four-star hotel offers well-appointed rooms with mini-bar and refrigerator, comprehensive meeting facilities, and services like concierge, laundry and multilingual staff. Best...