FRIDA 2027: 13th Workshop on Formal Reasoning in Distributed Algorithms, co-located with POPL 2027 in Mexico City, Monday 11 January 2027. Full call for talks: workshop page.

We invite talk proposals on formal reasoning about concurrent and distributed systems: new or ongoing work, recently published results, tools, experience reports, position statements, or open problems. FRIDA is non-archival (no proceedings), so work submitted or published elsewhere is welcome.

What to submit: a title, a short abstract, and a PDF of at most 2 pages (references excluded). You may also attach an optional supplementary PDF of any length, such as a full paper; reviewers are not required to read it.

  • Submission deadline: Friday 6 November 2026, AoE
  • Notification: Friday 20 November 2026
  • Workshop: Monday 11 January 2027

Speakers are expected to present in person. We may be able to accommodate a small number of remote talks, but cannot guarantee it. With speakers' permission, talks may be recorded and posted online. Contributed talks will be about 30 minutes; final slot lengths will depend on the program and will be confirmed at notification.

Questions? Contact the chairs, Brijesh Dongol and Giuliano Losa, via the FRIDA contact form.

Welcome to the 13th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2027) submissions site. For general information, see https://popl27.sigplan.org/home/frida-2027.

Submissions

Sign in to manage submissions.

Deadline: Friday Nov 6, 2026, 11:59:59 PM AoE