Proceedings of the 7th international conference on Logic for programming and automated reasoning