International Conference on Certified Programs and Proofs — 2027
January 11-12, 2027
Hilton Mexico City ReformaMexico City, Mexico
Formal Methods Verification Proof Programming Languages
Important Dates
| Submission deadline | September 10, 2026 (closed) |
| Notification of acceptance | November 10, 2026 |
CPP, the International Conference on Certified Programs and Proofs, covers the use of proof assistants and dependent type theory to build software and mathematics whose correctness is checked by machine, including verified compilers and runtime systems, formalised mathematical libraries, and the proof engineering practices that keep a large development maintainable as it grows. It suits researchers whose contribution is a proof development rather than a prototype, and who care as much about how a formalisation is structured as about the theorem it finally establishes. Ranked B by CORE. It is co-hosted with POPL, which puts the proof assistant community in the same building as the wider programming languages community for a week.
Venue
Hilton Mexico City Reforma
Av. Juarez 70, Centro Historico, 06010 Mexico City, Mexico
🔗 View full venue details
Our picks for International Conference on Certified Programs and Proofs attendees
A curated selection of hotels chosen for location, value, and fit for conference travellers.
Barcelo Mexico Reforma
Av. Paseo de la Reforma 1, Tabacalera, 06030 Mexico City, Mexico
Large 505-room tower at the eastern end of Paseo de la Reforma with a spa, indoor pool and 26 meeting rooms, 500...
Circulo Mexicano
Calle Republica de Guatemala 20, Centro, 06010 Mexico City, Mexico
Twenty-five room design hotel in a converted house directly behind the Metropolitan Cathedral, with spare timber-furnished rooms and a rooftop terrace facing...
Fiesta Inn Centro Historico
Av. Juarez 76, Centro, 06010 Mexico City, Mexico
Mid-range Mexican chain hotel in the Parque Alameda plaza about 80 metres from the conference hotel, with 140 rooms looking onto Alameda...
Four Seasons Hotel Mexico City
Av. Paseo de la Reforma 500, Cuauhtemoc, 06600 Mexico City
Hacienda-style five-star hotel built around a quiet courtyard garden on Paseo de la Reforma - best for attendees who want a calm...
Gran Hotel Ciudad de Mexico
Av. 16 de Septiembre 82, Centro, 06000 Mexico City
Historic hotel on the Zocalo famous for its Tiffany-style stained-glass ceiling and rooftop terrace over the cathedral - best for attendees who...
Hampton Inn & Suites Mexico City Centro Historico
Calle 5 de Febrero 24, Centro, 06060 Mexico City, Mexico
Dependable 107-room chain hotel a block off the Zocalo with free breakfast and a rooftop terrace. A solid choice for attendees on...
Hilton Mexico City Reforma
Av. Juarez 70, Centro, 06010 Mexico City
Large four-star business hotel beside Alameda Central and the historic centre, with a rooftop pool and full conference facilities - well-suited for...
Hotel Carlota
Rio Amazonas 73, Cuauhtemoc, 06500 Mexico City
Design-led boutique hotel with a courtyard pool and acclaimed restaurant in the Cuauhtemoc gallery district - best for attendees who want a...
Hotel Marlowe
Calle Independencia 17, Centro, 06050 Mexico City, Mexico
Plain three-star hotel on Independencia, a five minute walk from the venue along the south side of the Alameda. The cheapest bed...
Segovia Regency
Avenida Chapultepec 328, Roma Norte, 06700 Mexico City
Straightforward hotel on the edge of Roma Norte, about 2.2 km from the Hilton Reforma and walkable to the Roma and Condesa...