Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings

21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures