
<!DOCTYPE html><html><head><title></title></head><body><div>Dear colleagues,</div><div><br></div><div>The <a href="https://urldefense.com/v3/__https://frida-2025.github.io/__;!!IBzWLUs!SzUabAnbQt_yOu70AZw6GIRVyT9y1AmKrsdz3ghL69yiLpIaI4SbewEe_iFX2zErJzPYhUChFHg4Mwi9lnZSZbEEeT-ILu0$" rel="noopener noreferrer" target="_blank">12th Workshop on Formal Reasoning in Distributed Algorithms</a> will take place on Monday October 27th 2025 in Berlin, Germany, as part of <a href="https://urldefense.com/v3/__https://www.disc-conference.org/wp/disc2025/__;!!IBzWLUs!SzUabAnbQt_yOu70AZw6GIRVyT9y1AmKrsdz3ghL69yiLpIaI4SbewEe_iFX2zErJzPYhUChFHg4Mwi9lnZSZbEEuXSgYNE$" rel="noopener noreferrer" target="_blank">DISC 2025</a>.</div><div><br></div><div>The workshop covers a broad range of topics including formal-methods applied to distributed algorithms and systems (model-checking, deductive verification, type systems, interactive theorem proving, invariant inference), new distributed-computing models, algorithm synthesis, runtime verification, model-based testing, tool presentations, presentation of verification challenges, etc. For more information, please visit the workshop's homepage at <a href="https://urldefense.com/v3/__https://frida-2025.github.io/__;!!IBzWLUs!SzUabAnbQt_yOu70AZw6GIRVyT9y1AmKrsdz3ghL69yiLpIaI4SbewEe_iFX2zErJzPYhUChFHg4Mwi9lnZSZbEEeT-ILu0$" rel="noopener noreferrer" target="_blank">https://frida-2025.github.io/</a></div><div><br></div><div>If you would like to give a talk, please send us an abstract!</div><div><br></div><div>Giuliano Losa and Stephan Merz</div></body></html>