FRIDA 2027 — Formal Reasoning in Distributed Algorithms
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
- ScienceBackend
- Price
- Not specified
- Organizer
- ACM SIGPLAN
About the event
An offline workshop focused on formal methods for proving the correctness of distributed algorithms. Organized by ACM SIGPLAN and held 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