FRIDA 2020 – The 7th Workshop on Formal Reasoning in Distributed Algorithms

The workshop is organized as part of QONFEST 2020, also hosting CONCUR 2020.

Registration is required at Workshop-only registration costs 5 Euros until August 13th and then 8 Euros.

Dates: September 3rd to September 5th 2020

Tentative schedule: Online workshop from 6pm to 8pm CET

More information is available here.