- Christoph Benzmüller, Jens Otten, editors, Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., Coimbra, Portugal, July 1, 2016. Volume 1770 of CEUR Workshop Proceedings, CEUR-WS.org, 2016.
- Laura Kovács, Andrei Voronkov, editors, Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016. Volume 44 of EPiC Series in Computing, EasyChair, 2016.
- Tim King, Ruzica Piskac, editors, Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016. Volume 1617 of CEUR Workshop Proceedings, CEUR-WS.org, 2016.
- Pascal Fontaine, Stephan Schulz 0001, Josef Urban, editors, Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016. Volume 1635 of CEUR Workshop Proceedings, CEUR-WS.org, 2016.
- Laura Kovács, Andrei Voronkov, editors, Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany, August 2, 2015. Volume 38 of EPiC Series in Computing, EasyChair, 2016.
- Nicola Olivetti, Ashish Tiwari, editors, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings. Volume 9706 of Lecture Notes in Computer Science, Springer, 2016.