Guest editor

  • Special issues of the Journal of Symbolic Computation: 2009, 2010, 2014, 2016.
  • Special issue of the Journal of Applied Logic: 2011.
  • Special issue of Annals of Mathematics and Artificial Intelligence: 2020.

Involvement in Program Committees