[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear colleagues,
The 12th Workshop on Formal Reasoning in Distributed Algorithms
<https://urldefense.com/v3/__https://frida-2025.github.io/__;!!IBzWLUs!SzUabAnbQt_yOu70AZw6GIRVyT9y1AmKrsdz3ghL69yiLpIaI4SbewEe_iFX2zErJzPYhUChFHg4Mwi9lnZSZbEEeT-ILu0$
> will take place on Monday October 27th 2025 in Berlin, Germany, as part of
DISC 2025
<https://urldefense.com/v3/__https://www.disc-conference.org/wp/disc2025/__;!!IBzWLUs!SzUabAnbQt_yOu70AZw6GIRVyT9y1AmKrsdz3ghL69yiLpIaI4SbewEe_iFX2zErJzPYhUChFHg4Mwi9lnZSZbEEuXSgYNE$
>.
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
https://urldefense.com/v3/__https://frida-2025.github.io/__;!!IBzWLUs!SzUabAnbQt_yOu70AZw6GIRVyT9y1AmKrsdz3ghL69yiLpIaI4SbewEe_iFX2zErJzPYhUChFHg4Mwi9lnZSZbEEeT-ILu0$
If you would like to give a talk, please send us an abstract!
Giuliano Losa and Stephan Merz
