CFP: Formal Reasoning in Distributed Algorithms (FRIDA’16)
Friday, Feb 26, 2016Josef Widder and Igor Konnov are co-organizing the third workshop on Formal Reasoning in Distributed Algorithms. Check the workshop page.
Josef Widder and Igor Konnov are co-organizing the third workshop on Formal Reasoning in Distributed Algorithms. Check the workshop page.