Conference on Interactive Theorem Proving — 2026
July 26-29, 2026
ISCTE - Instituto Universitario de LisboaLisbon, Portugal
Formal Methods Logic Verification
The International Conference on Interactive Theorem Proving (ITP) is the main venue for research on interactive and machine-assisted theorem proving, covering proof assistants such as Coq, Isabelle, and Lean, formalized mathematics, and verified software. A-ranked by CORE, ITP 2026 takes place July 26-29 at ISCTE in Lisbon, Portugal, as one of the constituent conferences of the 9th Federated Logic Conference (FLoC 2026).
Venue
ISCTE - Instituto Universitario de Lisboa
Avenida das Forcas Armadas, 1649-026 Lisbon, Portugal
🔗 View full venue details
Our picks for Conference on Interactive Theorem Proving 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...