LAFI 2027 — Languages for Inference
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
- Design & UX
- Price
- Not specified
- Organizer
- ACM SIGPLAN
About the event
Offline workshop in Mexico City devoted to programming languages for logical inference and proof systems, organized by ACM SIGPLAN.
Machine-translated
Sources
Information was collected from these websites. Please verify details with the organizer.
- popl27.sigplan.orgpopl27.sigplan.org · checked 5 November 2026