CPP 2027 — Certified Programs and Proofs
In personConference
- When
- Times are shown in the venue time zone (America/Mexico City, UTC−6).
- Where
- Hilton Mexico City Reforma, Mexico City, Mexico
- Format
- In person
- Topics
- ScienceAI & ML
- Price
- Not specified
- Organizer
- ACM SIGPLAN
About the event
A joint ACM SIGPLAN conference on formal verification, focused on certifying programs and machine-checked proofs of correctness. Held in person in Mexico City.
Machine-translated
Sources
Information was collected from these websites. Please verify details with the organizer.
- popl27.sigplan.orgpopl27.sigplan.org · checked 5 November 2026