Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation