RocqPL 2027 — Rocq for Programming Languages
In personWorkshop
- 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
- Science
- Event language
- English
- Price
- Paid
- Organizer
- ACM SIGPLAN
About the event
An annual academic symposium focused on the fundamental principles of programming languages. The program includes talks on type systems, program synthesis, static analysis, and software verification methods. The event is held in person.
Machine-translated
Sources
Information was collected from these websites. Please verify details with the organizer.
- popl27.sigplan.orgpopl27.sigplan.org · checked 27 October 2026