Proceedings of the 6th international joint conference on Automated Reasoning