FRIDA 2016 in Marocco

Monday, May 23, 2016

We had nice talks at the workshop on Formal Reasoning in Distributed Algorithms (FRIDA) this year. Look at the workshop web page.