Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] [Call for Talks] FRIDA @ POPL 2027 - Formal Re...

Email Gateway (Oct 16 2026 at 18:25):

From: Giuliano Losa <giuliano@losa.fr>
Subject: [isabelle] [Call for Talks] FRIDA @ POPL 2027 - Formal Reasoning in Distributed Algorithms

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 design and analysis of concurrent and distributed
systems, from foundational theory to tool-supported verification.
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!

Last updated: Oct 29 2026 at 04:52 UTC