The 25th International Conference on Automated Deduction (CADE-25)  will be held at the Freie Universität Berlin from August 1-7, 2015 . Conference Chair: Dr. C. Benzmüller.