[TYPES/announce] Call for presentations: Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2025)

[Giuliano Losa]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250821/3ce410c1/attachment.htm>