Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 17, 16 p. (2017).
Hajiaghayi, Mohammad Taghi (ed.) et al., Topics in theoretical computer science. The first IFIP WG 1.8 international conference, TTCS 2015, Tehran, Iran, August 26–28, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9541, 147-163 (2016).
Demyanov, Vladimir F. (ed.) et al., Constructive nonsmooth analysis and related topics. New York, NY: Springer (ISBN 978-1-4614-8614-5/hbk; 978-1-4614-8615-2/ebook). Springer Optimization and Its Applications 87, 1-11 (2014).
Artikis, Alexander (ed.) et al., Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence, 329-348 (2012).
Giesl, J. (ed.), Proceedings of the 7th international workshop on reduction strategies in rewriting and programming (WRS 2007), Paris, France, June 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 204, 163-179 (2008).
ten Cate, Balder D. (ed.) et al., Logic, language, and computation. 6th international Tbilisi symposium on logic, language, and computation, TbiLLC 2005, Batumi, Georgia, September 12–16, 2005. Revised selected papers. Berlin: Springer (ISBN 978-3-540-75143-4/pbk). Lecture Notes in Computer Science 4363. Lecture Notes in Artificial Intelligence, 1-20 (2007).
Trzaskalik, Tadeusz (ed.) et al., Multiple objective and goal programming. Recent developments. Proceedings of the 4th international conference, (MOPGP’00), Ustroń, Poland, May 29–June 1, 2000. Heidelberg: Physica-Verlag (ISBN 3-7908-1409-1). Advances in Soft Computing, 186-195 (2002).