Workshops All workshops will take place on Friday, June 5, 2015. FRIDA (2nd Workshop on Formal Reasoning in Distributed Algorithms) ICE (8th Interaction and Concurrency Experience) MeMo (2nd International Workshop on Meta Models for Process Languages)