RTA 2015: International Conference on Rewriting Techniques and Applications 2015