- Renate A. Schmidt, Stephan Schulz, Boris Konev, editors, Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010. Volume 9 of EPiC Series, EasyChair, 2012.
- Aaron Stump, Geoff Sutcliffe, Cesare Tinelli, editors, Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, EMSQMS 2010, Edinburgh, UK, July 20, 2010. Volume 6 of EPiC Series, EasyChair, 2012.
- Andrei Voronkov, Laura Kovács, Nikolaj Bjørner, editors, Second International Workshop on Invariant Generation, WING 2009, York, UK, March 29, 2009 and Third International Workshop on Invariant Generation, WING 2010, Edinburgh, UK, July 21, 2010. Volume 1 of EPiC Series, EasyChair, 2012.
- Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe, editors, Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012. Volume 873 of CEUR Workshop Proceedings, CEUR-WS.org, 2012.
- Bernhard Gramlich, Dale Miller, Uli Sattler, editors, Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. Volume 7364 of Lecture Notes in Computer Science, Springer, 2012.
- Geoff Sutcliffe, editor, The 6th IJCAR ATP System Competition, CASC-J6, June 28, 2012, Manchester, UK. Volume 11 of EPiC Series, EasyChair, 2012.
- Markus Aderhold, Serge Autexier, Heiko Mantel, editors, 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010. Volume 3 of EPiC Series, EasyChair, 2012.