Call for Talks: FRIDA 2027 @ POPL 2027 - Formal Reasoning in Distributed Algorithms (deadline 6 Nov)

[Giuliano Losa]

------------------------------------------------------------------
FRIDA @ POPL 2027 - 13th Workshop on Formal Reasoning in
Distributed Algorithms
Monday 11 January 2027, Mexico City
Submission deadline: Friday 6 November 2026 (AoE)
https://popl27.sigplan.org/home/frida-2027
------------------------------------------------------------------

Dear colleagues,

FRIDA brings together researchers in distributed algorithms,
distributed systems, formal methods, and programming languages to
discuss rigorous, tool-supported design and analysis of concurrent
and distributed systems. After 12 editions co-located with DISC,
CAV, FLoC and other venues, FRIDA comes to POPL for the first time.

We invite talk proposals on topics including:
- models of concurrent and distributed computation; fault tolerance,
consensus, linearizability, and liveness
- consistency models, weak memory models, and replicated data types
- languages, type systems, and semantics for distributed programming
- specification of distributed systems, including hyperproperties
- model checking, deductive verification, and interactive theorem
proving of distributed algorithms and systems
- invariant inference, parameterized verification, and synthesis
- runtime verification and testing of distributed systems
- AI-assisted modeling and verification
- tools, case studies, experience reports, and open problems

The program will combine invited and contributed talks.
Contributed talks will be about 30 minutes; final slot lengths
will depend on the program and will be confirmed at notification.

HOW TO SUBMIT
Submit at https://frida2027.hotcrp.com/ :
- the title, the authors and their affiliations, and the speaker;
- a short abstract, to appear in the program;
- a PDF of at most 2 pages, excluding references, in any format,
describing the work and what the talk will cover.

You may optionally attach a longer document (e.g., a full paper);
the PC may consult it but is not required to.

The program committee will select talks based on relevance and
interest to the FRIDA audience. FRIDA has no proceedings: talks
on new, ongoing, or already published work are all welcome.

Speakers are expected to present in person. We may be able to
accommodate a small number of remote talks; if you may need to
present remotely, please indicate this in the submission form.
Talks may be recorded and, with speakers' permission, posted
online.

IMPORTANT DATES (AoE)
- Submission deadline: Friday 6 November 2026
- Notification: Friday 20 November 2026
- Workshop: Monday 11 January 2027

Program committee:
Annette Bieniusa (RPTU Kaiserslautern-Landau)
Manuel Bravo (Informal Systems)
Siddhartha Jayanti (Dartmouth College)
Burcu Kulahcioglu Ozkan (Delft University of Technology)
Ori Lahav (Tel Aviv University)
Stephan Merz (Inria & LORIA, Nancy)

Chairs: Brijesh Dongol (University of Surrey) and Giuliano Losa
(Stellar Development Foundation)

Questions: https://popl27.sigplan.org/contact2/frida-2027-papers

We look forward to your submissions!