FRIDA 2027
Sun 10 - Sat 16 January 2027 Mexico City, Mexico
co-located with POPL 2027

FRIDA

All Editions
Sun 10 - Sat 16 January 2027 Mexico City, Mexico

FRIDA 2027 with POPL 2027

FRIDA 2027, the 13th Workshop on Formal Reasoning in Distributed Algorithms, is a one-day workshop held on Monday 11 January 2027. The call for talks is open: submit a short abstract and a PDF of at most 2 pages at https://frida2027.hotcrp.com/ by Friday 6 November 2026 (AoE); authors will be notified by Friday 20 November 2026. See the Call for Talks tab for details. Concurrent and distributed algorithms are cen ...

Organizing Committee (FRIDA 2027 FRIDA (Workshop on Formal Reasoning in Distributed Algorithms))