- Geoff Sutcliffe, Stephan Schulz, Eugenia Ternovska, editors, The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011. Volume 2 of EPiC Series, EasyChair, 2012.
- Nikolaj Bjørner, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings. Volume 7180 of Lecture Notes in Computer Science, Springer, 2012.