- Amy P. Felty, Aart Middeldorp, editors, Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Volume 9195 of Lecture Notes in Computer Science, Springer, 2015.
- Christoph Benzmüller, Jens Otten, editors, Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014. Volume 33 of EPiC Series in Computing, EasyChair, 2015.
- Stephan Schulz 0001, Leonardo de Moura, Boris Konev, editors, 4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014. Volume 31 of EPiC Series in Computing, EasyChair, 2015.
- Ulrich Furbach, Claudia Schon, editors, Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015. Volume 1412 of CEUR Workshop Proceedings, CEUR-WS.org, 2015.